the Sarawakian is not a kind of a graph.
sent1: if there exists something such that it is not a polonaise then the bullfrog coheres barcarole. sent2: if the Sarawakian does not excel Gordius then the downdraft graphs. sent3: the Sarawakian does graph if it is lobular. sent4: the downdraft is bodily if it does excel ovenbird. sent5: there is nothing such that it is not anadromous and it is collagenous. sent6: the Dictaphone is not Siberian. sent7: if something does not cohere barcarole and it is not a polonaise the fact that it is anadromous is true. sent8: there exists nothing such that it is anadromous and collagenous. sent9: the Pus is not a polonaise if the fact that it is not anadromous and it is collagenous is not true. sent10: if the bullfrog does cohere barcarole the downdraft does excel ovenbird. sent11: if there are non-Siberian things then either the Sarawakian does not excel Gordius or it is not non-Siberian or both. sent12: the fact that if something that is a polonaise coheres barcarole then it is not a graph hold. sent13: if the Sarawakian is not a Siberian then the downdraft does graph. sent14: the Sarawakian is lobular if the downdraft is bodily. sent15: something graphs. sent16: if there is something such that it is a kind of a graph the fact that the bullfrog is not lobular but it is bodily is not true. sent17: the Sarawakian does not graph if that the bullfrog does not graph hold. sent18: if the Pus is not non-anadromous then it is not a kind of a polonaise.
sent5 -> int1: that the Pus is a kind of non-anadromous thing that is not non-collagenous does not hold.; int1 & sent9 -> int2: the Pus is not a polonaise.; int2 -> int3: there exists something such that it is not a polonaise.; int3 & sent1 -> int4: the bullfrog coheres barcarole.; int4 & sent10 -> int5: the downdraft excels ovenbird.; int5 & sent4 -> int6: the downdraft is bodily.; int6 & sent14 -> int7: the Sarawakian is lobular.; int7 & sent3 -> hypothesis;
the Sarawakian does not graph.
sent12 -> int8: if the bullfrog is a polonaise and coheres barcarole it is not a graph.;
$hypothesis$ = the Sarawakian is not a kind of a graph. ; $context$ = sent1: if there exists something such that it is not a polonaise then the bullfrog coheres barcarole. sent2: if the Sarawakian does not excel Gordius then the downdraft graphs. sent3: the Sarawakian does graph if it is lobular. sent4: the downdraft is bodily if it does excel ovenbird. sent5: there is nothing such that it is not anadromous and it is collagenous. sent6: the Dictaphone is not Siberian. sent7: if something does not cohere barcarole and it is not a polonaise the fact that it is anadromous is true. sent8: there exists nothing such that it is anadromous and collagenous. sent9: the Pus is not a polonaise if the fact that it is not anadromous and it is collagenous is not true. sent10: if the bullfrog does cohere barcarole the downdraft does excel ovenbird. sent11: if there are non-Siberian things then either the Sarawakian does not excel Gordius or it is not non-Siberian or both. sent12: the fact that if something that is a polonaise coheres barcarole then it is not a graph hold. sent13: if the Sarawakian is not a Siberian then the downdraft does graph. sent14: the Sarawakian is lobular if the downdraft is bodily. sent15: something graphs. sent16: if there is something such that it is a kind of a graph the fact that the bullfrog is not lobular but it is bodily is not true. sent17: the Sarawakian does not graph if that the bullfrog does not graph hold. sent18: if the Pus is not non-anadromous then it is not a kind of a polonaise. ; $proof$ = 
sent5 -> int1: that the Pus is a kind of non-anadromous thing that is not non-collagenous does not hold.; int1 & sent9 -> int2: the Pus is not a polonaise.; int2 -> int3: there exists something such that it is not a polonaise.; int3 & sent1 -> int4: the bullfrog coheres barcarole.; int4 & sent10 -> int5: the downdraft excels ovenbird.; int5 & sent4 -> int6: the downdraft is bodily.; int6 & sent14 -> int7: the Sarawakian is lobular.; int7 & sent3 -> hypothesis; __DISPROVED__