the sensorium is a shears.
sent1: if something that symbolizes tetraskelion is a kind of a halftone then it is not a b-meson. sent2: if a bast is a contradictoriness it is not a kind of an agonist. sent3: if the air does not beat bowhead the gidgee does not beat bowhead. sent4: everything is a temporal. sent5: something is not indivisible but analytic if it is not a kind of a wink. sent6: something is not a bast if the fact that it is a kind of a place and it is a bast is false. sent7: if that the part-timer is both not a Poncirus and arthralgic is not wrong then the clingfilm is billiard. sent8: if that the part-timer does not symbolize risibility and is a Poncirus does not hold then it is not a kind of a Poncirus. sent9: if something does not beat bowhead but it does place it shears. sent10: if the part-timer is not a Cereus then it is not non-arthralgic and not non-atrophic. sent11: that something does not symbolize risibility but it is a Poncirus is wrong if it is temporal. sent12: if the clingfilm is billiard then the air is syncarpous and does not wink. sent13: the sensorium is a place. sent14: if something is not indivisible but it is analytic then it does not beat bowhead. sent15: the part-timer is not a Cereus. sent16: if the gidgee does not beat bowhead it is both an agonist and a place. sent17: if the fact that something is not an agonist is not wrong the sensorium is a place. sent18: the answer is a kind of a contradictoriness. sent19: the sensorium does not beat bowhead but it does place if there is something such that it is not a kind of an agonist. sent20: the sensorium crams. sent21: the answer is a kind of a bast.
sent2 -> int1: if the answer is a bast that is a contradictoriness it is not an agonist.; sent21 & sent18 -> int2: the answer is both a bast and a contradictoriness.; int1 & int2 -> int3: the answer is not an agonist.; int3 -> int4: something is not an agonist.; int4 & sent19 -> int5: the sensorium does not beat bowhead and is a place.; sent9 -> int6: the sensorium is a shears if it does not beat bowhead and it is a place.; int5 & int6 -> hypothesis;
the sensorium is not a bast.
sent6 -> int7: the sensorium is not a bast if the fact that it is a kind of a place that is a bast does not hold.;
$hypothesis$ = the sensorium is a shears. ; $context$ = sent1: if something that symbolizes tetraskelion is a kind of a halftone then it is not a b-meson. sent2: if a bast is a contradictoriness it is not a kind of an agonist. sent3: if the air does not beat bowhead the gidgee does not beat bowhead. sent4: everything is a temporal. sent5: something is not indivisible but analytic if it is not a kind of a wink. sent6: something is not a bast if the fact that it is a kind of a place and it is a bast is false. sent7: if that the part-timer is both not a Poncirus and arthralgic is not wrong then the clingfilm is billiard. sent8: if that the part-timer does not symbolize risibility and is a Poncirus does not hold then it is not a kind of a Poncirus. sent9: if something does not beat bowhead but it does place it shears. sent10: if the part-timer is not a Cereus then it is not non-arthralgic and not non-atrophic. sent11: that something does not symbolize risibility but it is a Poncirus is wrong if it is temporal. sent12: if the clingfilm is billiard then the air is syncarpous and does not wink. sent13: the sensorium is a place. sent14: if something is not indivisible but it is analytic then it does not beat bowhead. sent15: the part-timer is not a Cereus. sent16: if the gidgee does not beat bowhead it is both an agonist and a place. sent17: if the fact that something is not an agonist is not wrong the sensorium is a place. sent18: the answer is a kind of a contradictoriness. sent19: the sensorium does not beat bowhead but it does place if there is something such that it is not a kind of an agonist. sent20: the sensorium crams. sent21: the answer is a kind of a bast. ; $proof$ = 
sent2 -> int1: if the answer is a bast that is a contradictoriness it is not an agonist.; sent21 & sent18 -> int2: the answer is both a bast and a contradictoriness.; int1 & int2 -> int3: the answer is not an agonist.; int3 -> int4: something is not an agonist.; int4 & sent19 -> int5: the sensorium does not beat bowhead and is a place.; sent9 -> int6: the sensorium is a shears if it does not beat bowhead and it is a place.; int5 & int6 -> hypothesis; __PROVED__