the pion is not fancy.
sent1: if something that is not fragrant does camouflage cavalcade then it is not a tanker. sent2: the ventricle does camouflage cavalcade. sent3: the pion is a kind of a tanker and does not camouflage Malacopterygii if the ventricle is not a tanker. sent4: the match is not tasty if the depressor is a Chernobyl and/or it camouflages cavalcade. sent5: that the match is not tasty is false if it is incommodious. sent6: the match is incommodious. sent7: a tanker that does not camouflage Malacopterygii is a kind of a fancy. sent8: if the depressor does not camouflage cavalcade then the ventricle is not fragrant but it does camouflage cavalcade.
void -> assump1: Let's assume that the depressor camouflages cavalcade.; assump1 -> int1: the depressor is a Chernobyl or it does camouflage cavalcade or both.; int1 & sent4 -> int2: the match is not tasty.; sent5 & sent6 -> int3: the match is tasty.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the depressor does not camouflage cavalcade.; int5 & sent8 -> int6: the ventricle is not fragrant but it camouflages cavalcade.; sent1 -> int7: if the ventricle is not fragrant and does camouflage cavalcade then it is not a kind of a tanker.; int6 & int7 -> int8: the ventricle is not a kind of a tanker.; int8 & sent3 -> int9: the pion is a kind of a tanker and does not camouflage Malacopterygii.; sent7 -> int10: the pion does fancy if it is a tanker and it does not camouflage Malacopterygii.; int9 & int10 -> hypothesis;
$hypothesis$ = the pion is not fancy. ; $context$ = sent1: if something that is not fragrant does camouflage cavalcade then it is not a tanker. sent2: the ventricle does camouflage cavalcade. sent3: the pion is a kind of a tanker and does not camouflage Malacopterygii if the ventricle is not a tanker. sent4: the match is not tasty if the depressor is a Chernobyl and/or it camouflages cavalcade. sent5: that the match is not tasty is false if it is incommodious. sent6: the match is incommodious. sent7: a tanker that does not camouflage Malacopterygii is a kind of a fancy. sent8: if the depressor does not camouflage cavalcade then the ventricle is not fragrant but it does camouflage cavalcade. ; $proof$ = 
void -> assump1: Let's assume that the depressor camouflages cavalcade.; assump1 -> int1: the depressor is a Chernobyl or it does camouflage cavalcade or both.; int1 & sent4 -> int2: the match is not tasty.; sent5 & sent6 -> int3: the match is tasty.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the depressor does not camouflage cavalcade.; int5 & sent8 -> int6: the ventricle is not fragrant but it camouflages cavalcade.; sent1 -> int7: if the ventricle is not fragrant and does camouflage cavalcade then it is not a kind of a tanker.; int6 & int7 -> int8: the ventricle is not a kind of a tanker.; int8 & sent3 -> int9: the pion is a kind of a tanker and does not camouflage Malacopterygii.; sent7 -> int10: the pion does fancy if it is a tanker and it does not camouflage Malacopterygii.; int9 & int10 -> hypothesis; __DISPROVED__