the shipper fastens.
sent1: if the fact that the shipper is a kind of non-differential thing that does not spill photolithograph is false it spill photolithograph. sent2: if the pentastomid is non-differential the flathead does not smock Artocarpus. sent3: the shipper is not a triplicity but it is internal. sent4: the ginkgo is not a antihero if the shipper is not a antihero. sent5: the fact that if the shipper is a humanization the ginkgo is not a antihero hold. sent6: the shipper does not smock Artocarpus. sent7: the brakes chains Hippopotamidae. sent8: the shipper does fasten if it is a kind of a humanization that is not a antihero. sent9: the pentastomid is a kind of a Antiguan if something that does spill medallion chains Hippopotamidae. sent10: the fact that the shipper is non-differential thing that spills photolithograph is not right. sent11: the celebrant is not a antihero. sent12: if the shipper is a antihero it smocks tahini. sent13: the shipper does not smock bride-gift and smocks tahini if it is a antihero. sent14: the fact that the fact that the shipper does not smock bride-gift but it smocks tahini is not right is not false. sent15: if something is Antiguan then either it is vitiliginous or it is not a differential or both. sent16: The Artocarpus does not smock shipper. sent17: the fact that if the pentastomid is vitiliginous then the flathead does not smock Artocarpus hold. sent18: the brakes spills medallion. sent19: the shipper is a humanization and/or it is not a antihero if there exists something such that it is a humanization. sent20: the lowland is a antihero. sent21: something is a humanization if it spills photolithograph. sent22: if the shipper does not smock Artocarpus the fact that the fact that it is not differential and it does not spill photolithograph is true is wrong.
void -> assump1: Let's assume that the fact that the shipper is a kind of a antihero hold.; sent13 & assump1 -> int1: the shipper does not smock bride-gift but it does smock tahini.; int1 & sent14 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the shipper is not a antihero is correct.; sent21 -> int4: that if the shipper does spill photolithograph the shipper is a humanization is not false.; sent22 & sent6 -> int5: the fact that the shipper is not a kind of a differential and it does not spill photolithograph is not true.; sent1 & int5 -> int6: the shipper does spill photolithograph.; int4 & int6 -> int7: the shipper is a humanization.; int3 & int7 -> int8: the shipper is a kind of a humanization that is not a antihero.; int8 & sent8 -> hypothesis;
the ginkgo is not hydraulics and does fasten.
sent15 -> int9: if the pentastomid is a Antiguan it is vitiliginous and/or it is not a differential.; sent18 & sent7 -> int10: the brakes does spill medallion and chains Hippopotamidae.; int10 -> int11: something spills medallion and does chain Hippopotamidae.; int11 & sent9 -> int12: the pentastomid is a kind of a Antiguan.; int9 & int12 -> int13: the pentastomid is vitiliginous and/or it is not a differential.; int13 & sent17 & sent2 -> int14: the flathead does not smock Artocarpus.;
$hypothesis$ = the shipper fastens. ; $context$ = sent1: if the fact that the shipper is a kind of non-differential thing that does not spill photolithograph is false it spill photolithograph. sent2: if the pentastomid is non-differential the flathead does not smock Artocarpus. sent3: the shipper is not a triplicity but it is internal. sent4: the ginkgo is not a antihero if the shipper is not a antihero. sent5: the fact that if the shipper is a humanization the ginkgo is not a antihero hold. sent6: the shipper does not smock Artocarpus. sent7: the brakes chains Hippopotamidae. sent8: the shipper does fasten if it is a kind of a humanization that is not a antihero. sent9: the pentastomid is a kind of a Antiguan if something that does spill medallion chains Hippopotamidae. sent10: the fact that the shipper is non-differential thing that spills photolithograph is not right. sent11: the celebrant is not a antihero. sent12: if the shipper is a antihero it smocks tahini. sent13: the shipper does not smock bride-gift and smocks tahini if it is a antihero. sent14: the fact that the fact that the shipper does not smock bride-gift but it smocks tahini is not right is not false. sent15: if something is Antiguan then either it is vitiliginous or it is not a differential or both. sent16: The Artocarpus does not smock shipper. sent17: the fact that if the pentastomid is vitiliginous then the flathead does not smock Artocarpus hold. sent18: the brakes spills medallion. sent19: the shipper is a humanization and/or it is not a antihero if there exists something such that it is a humanization. sent20: the lowland is a antihero. sent21: something is a humanization if it spills photolithograph. sent22: if the shipper does not smock Artocarpus the fact that the fact that it is not differential and it does not spill photolithograph is true is wrong. ; $proof$ = 
void -> assump1: Let's assume that the fact that the shipper is a kind of a antihero hold.; sent13 & assump1 -> int1: the shipper does not smock bride-gift but it does smock tahini.; int1 & sent14 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the shipper is not a antihero is correct.; sent21 -> int4: that if the shipper does spill photolithograph the shipper is a humanization is not false.; sent22 & sent6 -> int5: the fact that the shipper is not a kind of a differential and it does not spill photolithograph is not true.; sent1 & int5 -> int6: the shipper does spill photolithograph.; int4 & int6 -> int7: the shipper is a humanization.; int3 & int7 -> int8: the shipper is a kind of a humanization that is not a antihero.; int8 & sent8 -> hypothesis; __PROVED__