that the fact that the Rabbi does clash if that the bondsman is a sundae hold is true is not right.
sent1: the bondsman does fear counterplot and it is clonic. sent2: the bondsman is small-capitalization and it is a quiddity. sent3: the pet is both a whiff and a petabit. sent4: if the Rabbi is a kind of a quiddity it is a clash. sent5: the bondsman does not fear absorption if it is a kind of a sundae and is a stainability. sent6: the bondsman fears edaphosaurus and is a stainability. sent7: the slope is a stainability. sent8: the Rabbi is a petabit. sent9: if there exists something such that that it is a quiddity and does fear edaphosaurus does not hold then the measure is not a quiddity. sent10: the bondsman is a clash. sent11: the Rabbi is both a petabit and a quiddity if the fact that the bondsman does not fear absorption is right. sent12: that the Rabbi fears edaphosaurus and is a sundae is not false if the bondsman is not a quiddity.
sent6 -> int1: the bondsman is a stainability.; void -> assump1: Let's assume that the bondsman is a sundae.; int1 & assump1 -> int2: the bondsman is a kind of a sundae and is a kind of a stainability.; int2 & sent5 -> int3: that the bondsman does not fear absorption is correct.; int3 & sent11 -> int4: the Rabbi is a petabit and it is a kind of a quiddity.; int4 -> int5: that the Rabbi is a quiddity is right.; int5 & sent4 -> int6: the Rabbi does clash.; [assump1] & int6 -> hypothesis;
the measure is not a quiddity.
$hypothesis$ = that the fact that the Rabbi does clash if that the bondsman is a sundae hold is true is not right. ; $context$ = sent1: the bondsman does fear counterplot and it is clonic. sent2: the bondsman is small-capitalization and it is a quiddity. sent3: the pet is both a whiff and a petabit. sent4: if the Rabbi is a kind of a quiddity it is a clash. sent5: the bondsman does not fear absorption if it is a kind of a sundae and is a stainability. sent6: the bondsman fears edaphosaurus and is a stainability. sent7: the slope is a stainability. sent8: the Rabbi is a petabit. sent9: if there exists something such that that it is a quiddity and does fear edaphosaurus does not hold then the measure is not a quiddity. sent10: the bondsman is a clash. sent11: the Rabbi is both a petabit and a quiddity if the fact that the bondsman does not fear absorption is right. sent12: that the Rabbi fears edaphosaurus and is a sundae is not false if the bondsman is not a quiddity. ; $proof$ = 
sent6 -> int1: the bondsman is a stainability.; void -> assump1: Let's assume that the bondsman is a sundae.; int1 & assump1 -> int2: the bondsman is a kind of a sundae and is a kind of a stainability.; int2 & sent5 -> int3: that the bondsman does not fear absorption is correct.; int3 & sent11 -> int4: the Rabbi is a petabit and it is a kind of a quiddity.; int4 -> int5: that the Rabbi is a quiddity is right.; int5 & sent4 -> int6: the Rabbi does clash.; [assump1] & int6 -> hypothesis; __DISPROVED__