spanSometrucksarebusesIAllbusesarecarsspanrArrspanSometrucksarecarsIAllcarsarebikesspanrArrspanSometrucksarebikesIHenceconclusionIfollowsspanAllbusesarecarsAspanrArrspanConversionspanrArrspanSomecarsarebusesIspanrArrspanProbableconclusionspanrArrspanSomecarsmaynotbeabusOHenceconclusionIIfollows