the electrolytic does outgrow freeloader.
sent1: something is inorganic if it is cerebrospinal. sent2: if something does vulcanize that it is not loyal and it tosses Canuck is false. sent3: if the cookbook is not loyal then it tosses Canuck. sent4: that the delicatessen does not vulcanize hold if the cookbook does toss Canuck and does outgrow freeloader. sent5: if the fagoting does branch townee and is not an inexperienced the cookbook is not loyal. sent6: the electrolytic is a kind of a Peary that does outgrow freeloader if the cookbook does not outgrow freeloader. sent7: the fact that the delicatessen does vulcanize hold if it is inorganic. sent8: the fagoting does branch townee and is not an inexperienced.
sent5 & sent8 -> int1: the cookbook is not loyal.; int1 & sent3 -> int2: the cookbook tosses Canuck.; void -> assump1: Let's assume that the cookbook outgrows freeloader.; int2 & assump1 -> int3: the cookbook does toss Canuck and it does outgrow freeloader.; int3 & sent4 -> int4: the delicatessen does not vulcanize.; sent1 -> int5: that the delicatessen is not organic is not wrong if it is cerebrospinal.;
the electrolytic does not outgrow freeloader.
sent2 -> int6: that the delicatessen is non-loyal thing that does toss Canuck is false if it vulcanizes.;
$hypothesis$ = the electrolytic does outgrow freeloader. ; $context$ = sent1: something is inorganic if it is cerebrospinal. sent2: if something does vulcanize that it is not loyal and it tosses Canuck is false. sent3: if the cookbook is not loyal then it tosses Canuck. sent4: that the delicatessen does not vulcanize hold if the cookbook does toss Canuck and does outgrow freeloader. sent5: if the fagoting does branch townee and is not an inexperienced the cookbook is not loyal. sent6: the electrolytic is a kind of a Peary that does outgrow freeloader if the cookbook does not outgrow freeloader. sent7: the fact that the delicatessen does vulcanize hold if it is inorganic. sent8: the fagoting does branch townee and is not an inexperienced. ; $proof$ = 
sent5 & sent8 -> int1: the cookbook is not loyal.; int1 & sent3 -> int2: the cookbook tosses Canuck.; void -> assump1: Let's assume that the cookbook outgrows freeloader.; int2 & assump1 -> int3: the cookbook does toss Canuck and it does outgrow freeloader.; int3 & sent4 -> int4: the delicatessen does not vulcanize.; sent1 -> int5: that the delicatessen is not organic is not wrong if it is cerebrospinal.; __UNKNOWN__