the pasty does not leach fare and is an aftertaste if the ticker is a sectional.
sent1: the ticker is a Croatian if the raisin does cleave. sent2: the raisin cleaves. sent3: the fact that either something is not piscine or it is Pasteurian or both is false if it is a kind of a sectional. sent4: if the fact that something is either not piscine or Pasteurian or both is not correct it is air-to-air. sent5: a air-to-air thing that is middle is not an aftertaste. sent6: the pasty does not leach fare and is a kind of an aftertaste if the ticker is not an aftertaste. sent7: something is a middle if it is Croatian.
sent3 -> int1: the fact that that either the ticker is not piscine or it is Pasteurian or both does not hold is not false if it is a sectional.; void -> assump1: Let's assume that the ticker is a sectional.; int1 & assump1 -> int2: that that either the ticker is not piscine or it is not non-Pasteurian or both is not incorrect is not true.; sent4 -> int3: that the ticker is air-to-air is not wrong if the fact that it is not piscine or Pasteurian or both does not hold.; int2 & int3 -> int4: the ticker is air-to-air.; sent7 -> int5: the ticker is a kind of a middle if that it is Croatian is not wrong.; sent1 & sent2 -> int6: the ticker is a Croatian.; int5 & int6 -> int7: the ticker does middle.; int4 & int7 -> int8: the ticker is air-to-air and it is middle.; sent5 -> int9: if the ticker is air-to-air and it is a middle it is not an aftertaste.; int8 & int9 -> int10: the ticker is not a kind of an aftertaste.; int10 & sent6 -> int11: the fact that the pasty does not leach fare and is an aftertaste is not false.; [assump1] & int11 -> hypothesis;
$hypothesis$ = the pasty does not leach fare and is an aftertaste if the ticker is a sectional. ; $context$ = sent1: the ticker is a Croatian if the raisin does cleave. sent2: the raisin cleaves. sent3: the fact that either something is not piscine or it is Pasteurian or both is false if it is a kind of a sectional. sent4: if the fact that something is either not piscine or Pasteurian or both is not correct it is air-to-air. sent5: a air-to-air thing that is middle is not an aftertaste. sent6: the pasty does not leach fare and is a kind of an aftertaste if the ticker is not an aftertaste. sent7: something is a middle if it is Croatian. ; $proof$ = 
sent3 -> int1: the fact that that either the ticker is not piscine or it is Pasteurian or both does not hold is not false if it is a sectional.; void -> assump1: Let's assume that the ticker is a sectional.; int1 & assump1 -> int2: that that either the ticker is not piscine or it is not non-Pasteurian or both is not incorrect is not true.; sent4 -> int3: that the ticker is air-to-air is not wrong if the fact that it is not piscine or Pasteurian or both does not hold.; int2 & int3 -> int4: the ticker is air-to-air.; sent7 -> int5: the ticker is a kind of a middle if that it is Croatian is not wrong.; sent1 & sent2 -> int6: the ticker is a Croatian.; int5 & int6 -> int7: the ticker does middle.; int4 & int7 -> int8: the ticker is air-to-air and it is middle.; sent5 -> int9: if the ticker is air-to-air and it is a middle it is not an aftertaste.; int8 & int9 -> int10: the ticker is not a kind of an aftertaste.; int10 & sent6 -> int11: the fact that the pasty does not leach fare and is an aftertaste is not false.; [assump1] & int11 -> hypothesis; __PROVED__