that the craftsman is not Tunisian but it is not significant does not hold.
sent1: the courthouse does not riot nosewheel if there exists something such that that it is not hypertonic and is thermostatics is not correct. sent2: that something does not riot primatology and/or it is not a kind of a student is false if it does not deviate broadtail. sent3: if that the onomasticon either does not riot primatology or is not a kind of a student or both is not correct the whitefly does not riot primatology. sent4: the fact that the craftsman is not Tunisian but insignificant does not hold if the sweetleaf is a Tunisian. sent5: that the fact that the pitting is not a balsamroot but it does riot primatology does not hold is not false if there exists something such that it is not respiratory. sent6: that something is a balsamroot and does not riot nosewheel is not correct if it is not non-Tunisian. sent7: something that either is not amblyopic or is not a subset or both is not a subset. sent8: the onomasticon does not deviate broadtail if the nosewheel is noncompetitive thing that deviate broadtail. sent9: if the courthouse does not riot nosewheel and is not amblyopic then the pitting is not a balsamroot. sent10: the sweetleaf is not insignificant if either the craftsman is respiratory or it is not insignificant or both. sent11: there is something such that it is not respiratory. sent12: the nosewheel is noncompetitive and it does deviate broadtail. sent13: that the courthouse does not riot primatology is not incorrect. sent14: the chalcedony is not a kind of a Tunisian. sent15: if something does riot nosewheel it is not amblyopic or is not a subset or both. sent16: there is something such that that it is not hypertonic and it is thermostatics does not hold. sent17: if that the fact that the pitting is not a kind of a balsamroot and does riot primatology is true is incorrect it is a balsamroot. sent18: the sweetleaf is thermostatics. sent19: the craftsman is respiratory or not insignificant or both if that the whitefly does not riot primatology is not false. sent20: the pitting is Tunisian if the sweetleaf is not insignificant.
sent16 & sent1 -> int1: the fact that the courthouse does not riot nosewheel is correct.; void -> assump1: Let's assume that the courthouse is not amblyopic.; int1 & assump1 -> int2: the courthouse does not riot nosewheel and is not amblyopic.; int2 & sent9 -> int3: the pitting is not a balsamroot.; sent11 & sent5 -> int4: that the pitting is not a balsamroot but it does riot primatology is not right.; sent17 & int4 -> int5: the pitting is a kind of a balsamroot.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the courthouse is amblyopic.;
there is something such that it is not a kind of a subset.
sent7 -> int8: if either the courthouse is not amblyopic or it is not a subset or both it is not a kind of a subset.; sent15 -> int9: if the courthouse does riot nosewheel then either it is not amblyopic or it is not a subset or both.; sent6 -> int10: that the pitting is a balsamroot but it does not riot nosewheel is not true if it is a kind of a Tunisian.; sent2 -> int11: that the onomasticon does not riot primatology and/or it is not a student does not hold if it does not deviate broadtail.; sent8 & sent12 -> int12: the onomasticon does not deviate broadtail.; int11 & int12 -> int13: the fact that the onomasticon does not riot primatology or is not a student or both is not true.; sent3 & int13 -> int14: the whitefly does not riot primatology.; sent19 & int14 -> int15: the craftsman is respiratory and/or it is not insignificant.; sent10 & int15 -> int16: the sweetleaf is not insignificant.; sent20 & int16 -> int17: the pitting is a kind of a Tunisian.; int10 & int17 -> int18: that the pitting is a kind of a balsamroot but it does not riot nosewheel does not hold.; int18 -> int19: there is something such that the fact that it is a kind of a balsamroot and it does not riot nosewheel is false.;
$hypothesis$ = that the craftsman is not Tunisian but it is not significant does not hold. ; $context$ = sent1: the courthouse does not riot nosewheel if there exists something such that that it is not hypertonic and is thermostatics is not correct. sent2: that something does not riot primatology and/or it is not a kind of a student is false if it does not deviate broadtail. sent3: if that the onomasticon either does not riot primatology or is not a kind of a student or both is not correct the whitefly does not riot primatology. sent4: the fact that the craftsman is not Tunisian but insignificant does not hold if the sweetleaf is a Tunisian. sent5: that the fact that the pitting is not a balsamroot but it does riot primatology does not hold is not false if there exists something such that it is not respiratory. sent6: that something is a balsamroot and does not riot nosewheel is not correct if it is not non-Tunisian. sent7: something that either is not amblyopic or is not a subset or both is not a subset. sent8: the onomasticon does not deviate broadtail if the nosewheel is noncompetitive thing that deviate broadtail. sent9: if the courthouse does not riot nosewheel and is not amblyopic then the pitting is not a balsamroot. sent10: the sweetleaf is not insignificant if either the craftsman is respiratory or it is not insignificant or both. sent11: there is something such that it is not respiratory. sent12: the nosewheel is noncompetitive and it does deviate broadtail. sent13: that the courthouse does not riot primatology is not incorrect. sent14: the chalcedony is not a kind of a Tunisian. sent15: if something does riot nosewheel it is not amblyopic or is not a subset or both. sent16: there is something such that that it is not hypertonic and it is thermostatics does not hold. sent17: if that the fact that the pitting is not a kind of a balsamroot and does riot primatology is true is incorrect it is a balsamroot. sent18: the sweetleaf is thermostatics. sent19: the craftsman is respiratory or not insignificant or both if that the whitefly does not riot primatology is not false. sent20: the pitting is Tunisian if the sweetleaf is not insignificant. ; $proof$ = 
sent16 & sent1 -> int1: the fact that the courthouse does not riot nosewheel is correct.; void -> assump1: Let's assume that the courthouse is not amblyopic.; int1 & assump1 -> int2: the courthouse does not riot nosewheel and is not amblyopic.; int2 & sent9 -> int3: the pitting is not a balsamroot.; sent11 & sent5 -> int4: that the pitting is not a balsamroot but it does riot primatology is not right.; sent17 & int4 -> int5: the pitting is a kind of a balsamroot.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the courthouse is amblyopic.; __UNKNOWN__