the fact that the lounger is a kind of crural thing that is not a selectman is not true.
sent1: the breadboard is a Hittite if that the tuille is both not morphologic and not satyric is false. sent2: if the fact that the oviduct is a kind of a resistor that is not algal is not true the owlet is not incautious. sent3: the finger is not a kind of a Verdandi if the owlet is not incautious. sent4: the finger is a kind of a Verdandi. sent5: if the fact that the breadboard is Hittite hold then that the lounger is crural and not a selectman is not correct. sent6: if the oviduct is satyric that it is a kind of a resistor and it is not algal is not correct. sent7: if something is a kind of a Verdandi then it is crural. sent8: that the tuille is not morphologic and is not satyric is wrong if the oviduct is not satyric. sent9: that that the owlet is incautious is correct is not correct if the oviduct is not a resistor.
void -> assump1: Let's assume that the oviduct is satyric.; sent6 & assump1 -> int1: that the oviduct is a resistor that is non-algal is not right.; int1 & sent2 -> int2: the owlet is not incautious.; int2 & sent3 -> int3: the finger is not a Verdandi.; int3 & sent4 -> int4: this is contradiction.; [assump1] & int4 -> int5: the oviduct is not satyric.; int5 & sent8 -> int6: the fact that the tuille is not morphologic and it is not satyric is wrong.; int6 & sent1 -> int7: the breadboard is Hittite.; int7 & sent5 -> hypothesis;
the lounger is crural but it is not a selectman.
sent7 -> int8: the lounger is crural if it is a Verdandi.;
$hypothesis$ = the fact that the lounger is a kind of crural thing that is not a selectman is not true. ; $context$ = sent1: the breadboard is a Hittite if that the tuille is both not morphologic and not satyric is false. sent2: if the fact that the oviduct is a kind of a resistor that is not algal is not true the owlet is not incautious. sent3: the finger is not a kind of a Verdandi if the owlet is not incautious. sent4: the finger is a kind of a Verdandi. sent5: if the fact that the breadboard is Hittite hold then that the lounger is crural and not a selectman is not correct. sent6: if the oviduct is satyric that it is a kind of a resistor and it is not algal is not correct. sent7: if something is a kind of a Verdandi then it is crural. sent8: that the tuille is not morphologic and is not satyric is wrong if the oviduct is not satyric. sent9: that that the owlet is incautious is correct is not correct if the oviduct is not a resistor. ; $proof$ = 
void -> assump1: Let's assume that the oviduct is satyric.; sent6 & assump1 -> int1: that the oviduct is a resistor that is non-algal is not right.; int1 & sent2 -> int2: the owlet is not incautious.; int2 & sent3 -> int3: the finger is not a Verdandi.; int3 & sent4 -> int4: this is contradiction.; [assump1] & int4 -> int5: the oviduct is not satyric.; int5 & sent8 -> int6: the fact that the tuille is not morphologic and it is not satyric is wrong.; int6 & sent1 -> int7: the breadboard is Hittite.; int7 & sent5 -> hypothesis; __PROVED__