the plastic is a gravidity if the carbide is a kind of a friendly.
sent1: the blintz is a kind of a Girondism that cleats if the snapshot does not displace. sent2: something is a kind of a gravidity if it gloms plastic. sent3: if the carbide is a Herculaneum and a friendly then the snapshot does not displace. sent4: if something is a gravidity then it is a friendly. sent5: the fact that the mist gloms plastic is correct. sent6: that the carbide is not a kind of a cod is true. sent7: if the snapshot does not displace the blintz is a Girondism. sent8: the plastic is a cod. sent9: the plastic does glom plastic if the fact that the blintz does cleat is not false. sent10: something is a kind of a friendly if the fact that it is a Herculaneum is right. sent11: if the carbide is a Girondism then the blintz is a kind of a friendly. sent12: the blintz is emmetropic and it is a kind of a stocktaker. sent13: if the plastic is both a Herculaneum and friendly then that the carbide is not a gravidity is not wrong. sent14: if something is a gravidity it is a cod. sent15: the carbide is a Herculaneum and is not a kind of a cod. sent16: the blintz is a Girondism. sent17: if the plastic does not glom plastic then the carbide is a Girondism and it is a friendly.
sent15 -> int1: the fact that the carbide is a Herculaneum is not false.; void -> assump1: Let's assume that the fact that the carbide is a kind of a friendly hold.; int1 & assump1 -> int2: the carbide is a kind of a Herculaneum that is a kind of a friendly.; int2 & sent3 -> int3: the snapshot does not displace.; int3 & sent1 -> int4: the blintz is a Girondism and a cleats.; int4 -> int5: the blintz is a cleats.; int5 & sent9 -> int6: the plastic gloms plastic.; sent2 -> int7: if the plastic does glom plastic then it is a kind of a gravidity.; int6 & int7 -> int8: the plastic is a gravidity.; [assump1] & int8 -> hypothesis;
$hypothesis$ = the plastic is a gravidity if the carbide is a kind of a friendly. ; $context$ = sent1: the blintz is a kind of a Girondism that cleats if the snapshot does not displace. sent2: something is a kind of a gravidity if it gloms plastic. sent3: if the carbide is a Herculaneum and a friendly then the snapshot does not displace. sent4: if something is a gravidity then it is a friendly. sent5: the fact that the mist gloms plastic is correct. sent6: that the carbide is not a kind of a cod is true. sent7: if the snapshot does not displace the blintz is a Girondism. sent8: the plastic is a cod. sent9: the plastic does glom plastic if the fact that the blintz does cleat is not false. sent10: something is a kind of a friendly if the fact that it is a Herculaneum is right. sent11: if the carbide is a Girondism then the blintz is a kind of a friendly. sent12: the blintz is emmetropic and it is a kind of a stocktaker. sent13: if the plastic is both a Herculaneum and friendly then that the carbide is not a gravidity is not wrong. sent14: if something is a gravidity it is a cod. sent15: the carbide is a Herculaneum and is not a kind of a cod. sent16: the blintz is a Girondism. sent17: if the plastic does not glom plastic then the carbide is a Girondism and it is a friendly. ; $proof$ = 
sent15 -> int1: the fact that the carbide is a Herculaneum is not false.; void -> assump1: Let's assume that the fact that the carbide is a kind of a friendly hold.; int1 & assump1 -> int2: the carbide is a kind of a Herculaneum that is a kind of a friendly.; int2 & sent3 -> int3: the snapshot does not displace.; int3 & sent1 -> int4: the blintz is a Girondism and a cleats.; int4 -> int5: the blintz is a cleats.; int5 & sent9 -> int6: the plastic gloms plastic.; sent2 -> int7: if the plastic does glom plastic then it is a kind of a gravidity.; int6 & int7 -> int8: the plastic is a gravidity.; [assump1] & int8 -> hypothesis; __PROVED__