the Philippian is a corymb.
sent1: the fact that the chondrule is not a ting hold. sent2: the wryneck is not on-street but it is a Teach. sent3: the chondrule does not joint. sent4: the chondrule is a Teach. sent5: the Philippian is not a dialectics. sent6: the chondrule is not a corymb. sent7: the impedance is not a dialectics. sent8: the Philippian is not a corymb if the chondrule is not a kind of a Varanus but it is insensible. sent9: that the chondrule is both not a repeat and a dialectics is false. sent10: the chondrule is not a repeat but it is agonal. sent11: the chondrule is not a repeat but it is a dialectics if it is not insensible. sent12: the fact that the chondrule is a dialectics that is a kind of a corymb does not hold. sent13: the Philippian is not a kind of a pirouette. sent14: the chondrule is a disposition. sent15: the Philippian is not a Varanus if the fact that that the chondrule is not a pirouette and does not ting is not right is correct. sent16: the chondrule does not miscarry chondrule but it is unchangeable. sent17: if the chondrule is not a ting then it is not a Varanus and it is a pirouette. sent18: the chondrule is not a repeat if it is not insensible.
void -> assump1: Let's assume that the chondrule is not insensible.; sent11 & assump1 -> int1: the chondrule does not repeat but it is a dialectics.; int1 & sent9 -> int2: this is contradiction.; [assump1] & int2 -> int3: the chondrule is insensible.; sent17 & sent1 -> int4: the chondrule is not a kind of a Varanus but it does pirouette.; int4 -> int5: the chondrule is not a Varanus.; int3 & int5 -> int6: the chondrule is not a kind of a Varanus but it is insensible.; int6 & sent8 -> hypothesis;
the Philippian is a corymb.
$hypothesis$ = the Philippian is a corymb. ; $context$ = sent1: the fact that the chondrule is not a ting hold. sent2: the wryneck is not on-street but it is a Teach. sent3: the chondrule does not joint. sent4: the chondrule is a Teach. sent5: the Philippian is not a dialectics. sent6: the chondrule is not a corymb. sent7: the impedance is not a dialectics. sent8: the Philippian is not a corymb if the chondrule is not a kind of a Varanus but it is insensible. sent9: that the chondrule is both not a repeat and a dialectics is false. sent10: the chondrule is not a repeat but it is agonal. sent11: the chondrule is not a repeat but it is a dialectics if it is not insensible. sent12: the fact that the chondrule is a dialectics that is a kind of a corymb does not hold. sent13: the Philippian is not a kind of a pirouette. sent14: the chondrule is a disposition. sent15: the Philippian is not a Varanus if the fact that that the chondrule is not a pirouette and does not ting is not right is correct. sent16: the chondrule does not miscarry chondrule but it is unchangeable. sent17: if the chondrule is not a ting then it is not a Varanus and it is a pirouette. sent18: the chondrule is not a repeat if it is not insensible. ; $proof$ = 
void -> assump1: Let's assume that the chondrule is not insensible.; sent11 & assump1 -> int1: the chondrule does not repeat but it is a dialectics.; int1 & sent9 -> int2: this is contradiction.; [assump1] & int2 -> int3: the chondrule is insensible.; sent17 & sent1 -> int4: the chondrule is not a kind of a Varanus but it does pirouette.; int4 -> int5: the chondrule is not a Varanus.; int3 & int5 -> int6: the chondrule is not a kind of a Varanus but it is insensible.; int6 & sent8 -> hypothesis; __DISPROVED__