that the kleptomaniac propitiates hold if the samite is a kind of a airburst.
sent1: the taper is hydrostatics and filial. sent2: the taper is both tracheal and a airburst. sent3: that the samite is filial is right. sent4: the taper is tracheal. sent5: the gasteromycete is tracheal. sent6: if the taper does not study wirework but it is tracheal the kleptomaniac does propitiate. sent7: if the kleptomaniac does replicate Carmichael the samite propitiates. sent8: the kleptomaniac does not propitiate but it does study wirework. sent9: the kleptomaniac is not tracheal. sent10: the kleptomaniac does not propitiate if it is a falsification and it is an ordinance. sent11: if the samite does not replicate Carmichael the taper is tracheal. sent12: if something that is filial is a kind of a airburst it does not replicate Carmichael. sent13: the fact that the taper is filial is true. sent14: the taper propitiates if the kleptomaniac is not tracheal and does study wirework. sent15: if the fact that the samite propitiates is correct the kleptomaniac does replicate Carmichael. sent16: if the kleptomaniac is not a kind of a airburst and does propitiate then the samite is filial. sent17: the kleptomaniac is mesenteric.
void -> assump1: Let's assume that the samite is a airburst.; sent3 & assump1 -> int1: the samite is filial and it is a airburst.; sent12 -> int2: if the samite is filial thing that is a airburst it does not replicate Carmichael.; int1 & int2 -> int3: the samite does not replicate Carmichael.;
$hypothesis$ = that the kleptomaniac propitiates hold if the samite is a kind of a airburst. ; $context$ = sent1: the taper is hydrostatics and filial. sent2: the taper is both tracheal and a airburst. sent3: that the samite is filial is right. sent4: the taper is tracheal. sent5: the gasteromycete is tracheal. sent6: if the taper does not study wirework but it is tracheal the kleptomaniac does propitiate. sent7: if the kleptomaniac does replicate Carmichael the samite propitiates. sent8: the kleptomaniac does not propitiate but it does study wirework. sent9: the kleptomaniac is not tracheal. sent10: the kleptomaniac does not propitiate if it is a falsification and it is an ordinance. sent11: if the samite does not replicate Carmichael the taper is tracheal. sent12: if something that is filial is a kind of a airburst it does not replicate Carmichael. sent13: the fact that the taper is filial is true. sent14: the taper propitiates if the kleptomaniac is not tracheal and does study wirework. sent15: if the fact that the samite propitiates is correct the kleptomaniac does replicate Carmichael. sent16: if the kleptomaniac is not a kind of a airburst and does propitiate then the samite is filial. sent17: the kleptomaniac is mesenteric. ; $proof$ = 
void -> assump1: Let's assume that the samite is a airburst.; sent3 & assump1 -> int1: the samite is filial and it is a airburst.; sent12 -> int2: if the samite is filial thing that is a airburst it does not replicate Carmichael.; int1 & int2 -> int3: the samite does not replicate Carmichael.; __UNKNOWN__