the realist does not spread Fijis.
sent1: if the autogiro is not a caranday it spreads microtubule. sent2: if something is a kind of a caranday then that it is not a Somerset and is a kind of a kanamycin is not true. sent3: the hunter is a guard that is a tyrannid. sent4: if that something is a kanamycin or it is a Somerset or both is not right it does not spread Fijis. sent5: the autogiro is not a bdellium. sent6: something is a Mansfield if the fact that it is both not a Somerset and a kanamycin is wrong. sent7: the Moor is a kind of a Tantrism if it does not spread Fijis. sent8: the autogiro is a kanamycin if the hunter is a Somerset. sent9: the dill spreads Fijis. sent10: the autogiro does spread Fijis if the realist is a kind of a kanamycin. sent11: the hunter is a kind of a kanamycin if it is not a caranday. sent12: the fact that the autogiro is not a crazy and/or it brakes hold if it is proverbial. sent13: the autogiro is not a kanamycin and does not spread microtubule. sent14: the realist middles. sent15: if the hunter does not spread Fijis then it is a caranday. sent16: something is not a hallucination but it is a kind of a mineral if it is middling. sent17: if something is not a crazy or it does brake or both it does not spread microtubule. sent18: the autogiro does not spread microtubule. sent19: something spreads Fijis and is a caranday if it does not spread microtubule. sent20: if the hunter is a kind of a caranday then the realist spreads Fijis. sent21: the hunter is a mineral if the realist is not a hallucination but it is a mineral. sent22: if that the autogiro is a crazy but it is not a brake is not true then it does spread microtubule. sent23: something is a caranday if it is not a Somerset.
void -> assump1: Let's assume that the hunter is a Somerset.; sent8 & assump1 -> int1: the autogiro is a kanamycin.; sent13 -> int2: the autogiro is not a kind of a kanamycin.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the hunter is not a kind of a Somerset.; sent23 -> int5: if the hunter is not a Somerset it is a caranday.; int4 & int5 -> int6: the hunter is a caranday.; int6 & sent20 -> hypothesis;
the autogiro is a Mansfield.
sent6 -> int7: the autogiro is a Mansfield if the fact that that it is not a kind of a Somerset and is a kanamycin is correct is wrong.; sent2 -> int8: if that the autogiro is a kind of a caranday hold the fact that it is not a Somerset and is a kanamycin is false.; sent19 -> int9: the autogiro does spread Fijis and it is a caranday if it does not spread microtubule.; sent17 -> int10: the autogiro does not spread microtubule if it is not a crazy and/or it is a brake.; sent16 -> int11: the realist is not a hallucination and is a mineral if it does middle.; int11 & sent14 -> int12: the realist is not a hallucination but it is a kind of a mineral.; sent21 & int12 -> int13: the hunter is mineral.; sent3 -> int14: the fact that the hunter does guard is true.; int13 & int14 -> int15: the hunter is a mineral and it guards.; int15 -> int16: there is something such that it is a mineral and it is a kind of a guard.;
$hypothesis$ = the realist does not spread Fijis. ; $context$ = sent1: if the autogiro is not a caranday it spreads microtubule. sent2: if something is a kind of a caranday then that it is not a Somerset and is a kind of a kanamycin is not true. sent3: the hunter is a guard that is a tyrannid. sent4: if that something is a kanamycin or it is a Somerset or both is not right it does not spread Fijis. sent5: the autogiro is not a bdellium. sent6: something is a Mansfield if the fact that it is both not a Somerset and a kanamycin is wrong. sent7: the Moor is a kind of a Tantrism if it does not spread Fijis. sent8: the autogiro is a kanamycin if the hunter is a Somerset. sent9: the dill spreads Fijis. sent10: the autogiro does spread Fijis if the realist is a kind of a kanamycin. sent11: the hunter is a kind of a kanamycin if it is not a caranday. sent12: the fact that the autogiro is not a crazy and/or it brakes hold if it is proverbial. sent13: the autogiro is not a kanamycin and does not spread microtubule. sent14: the realist middles. sent15: if the hunter does not spread Fijis then it is a caranday. sent16: something is not a hallucination but it is a kind of a mineral if it is middling. sent17: if something is not a crazy or it does brake or both it does not spread microtubule. sent18: the autogiro does not spread microtubule. sent19: something spreads Fijis and is a caranday if it does not spread microtubule. sent20: if the hunter is a kind of a caranday then the realist spreads Fijis. sent21: the hunter is a mineral if the realist is not a hallucination but it is a mineral. sent22: if that the autogiro is a crazy but it is not a brake is not true then it does spread microtubule. sent23: something is a caranday if it is not a Somerset. ; $proof$ = 
void -> assump1: Let's assume that the hunter is a Somerset.; sent8 & assump1 -> int1: the autogiro is a kanamycin.; sent13 -> int2: the autogiro is not a kind of a kanamycin.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the hunter is not a kind of a Somerset.; sent23 -> int5: if the hunter is not a Somerset it is a caranday.; int4 & int5 -> int6: the hunter is a caranday.; int6 & sent20 -> hypothesis; __DISPROVED__