the brig is erect if the Moon is a snatch.
sent1: the brig does not fudge capercaillie. sent2: the current is Goethean and a Samaritan if something is not a going. sent3: the fool beats Hershey. sent4: something is erect if it does fudge capercaillie. sent5: if the fact that something is not unknowable and is not unanimated is not true then it does spot sweatshop. sent6: if the fact that something does not fudge capercaillie and does beat Benchley is not right it is erect. sent7: if the brig fudges capercaillie and does beat Benchley the Moon is not a kind of a snatch. sent8: if there is something such that it beats Hershey and it is a doddering then the fact that the thyrotropin does go is wrong. sent9: the brig is erect if it fudges capercaillie. sent10: the endoskeleton is not brassy if either the salesman is brassy or it is not a kind of a unvariedness or both. sent11: that the brig does not fudge capercaillie and is a snatch is not correct. sent12: the brig does not snatch if something that does spot Machiavellianism is not actuarial. sent13: the Moon snatches if the fact that it does not beat Benchley and is erect is not correct. sent14: the Moon spots Machiavellianism and is not actuarial if there is something such that it is not brassy. sent15: the brig is not a kind of a snatch. sent16: that something is not erect but it beats violist is not correct if it is not a kind of a snatch. sent17: if the fact that the Moon is not a snatch and does fudge capercaillie does not hold it does beat Benchley. sent18: the salesman is not brassy and/or it is not a kind of a unvariedness if the current is Goethean. sent19: if the brig does not fudge capercaillie and beats Benchley then the Moon is a snatch. sent20: the fact that the brig does fudge capercaillie and beats Benchley is not right. sent21: the fact that the fool is a doddering hold.
void -> assump1: Let's assume that the brig does not fudge capercaillie but it beats Benchley.; void -> assump2: Let's assume that the Moon does snatch.; sent6 -> int1: if that the brig does not fudge capercaillie but it does beat Benchley is not correct then it is erect.;
the fact that the brig is not erect but it beats violist does not hold.
sent16 -> int2: if the brig is not a snatch then that it is not erect and it does beat violist is wrong.; sent3 & sent21 -> int3: the fool beats Hershey and is a doddering.; int3 -> int4: something does beat Hershey and is a doddering.; int4 & sent8 -> int5: that the thyrotropin does not go is right.; int5 -> int6: there are non-going things.; int6 & sent2 -> int7: that the current is both Goethean and a Samaritan is not incorrect.; int7 -> int8: the current is Goethean.; sent18 & int8 -> int9: the salesman is not brassy and/or it is not a unvariedness.; sent10 & int9 -> int10: the endoskeleton is not brassy.; int10 -> int11: there are non-brassy things.; int11 & sent14 -> int12: the Moon spots Machiavellianism but it is not actuarial.; int12 -> int13: something does spot Machiavellianism and is not actuarial.; int13 & sent12 -> int14: the brig is not a snatch.; int2 & int14 -> hypothesis;
$hypothesis$ = the brig is erect if the Moon is a snatch. ; $context$ = sent1: the brig does not fudge capercaillie. sent2: the current is Goethean and a Samaritan if something is not a going. sent3: the fool beats Hershey. sent4: something is erect if it does fudge capercaillie. sent5: if the fact that something is not unknowable and is not unanimated is not true then it does spot sweatshop. sent6: if the fact that something does not fudge capercaillie and does beat Benchley is not right it is erect. sent7: if the brig fudges capercaillie and does beat Benchley the Moon is not a kind of a snatch. sent8: if there is something such that it beats Hershey and it is a doddering then the fact that the thyrotropin does go is wrong. sent9: the brig is erect if it fudges capercaillie. sent10: the endoskeleton is not brassy if either the salesman is brassy or it is not a kind of a unvariedness or both. sent11: that the brig does not fudge capercaillie and is a snatch is not correct. sent12: the brig does not snatch if something that does spot Machiavellianism is not actuarial. sent13: the Moon snatches if the fact that it does not beat Benchley and is erect is not correct. sent14: the Moon spots Machiavellianism and is not actuarial if there is something such that it is not brassy. sent15: the brig is not a kind of a snatch. sent16: that something is not erect but it beats violist is not correct if it is not a kind of a snatch. sent17: if the fact that the Moon is not a snatch and does fudge capercaillie does not hold it does beat Benchley. sent18: the salesman is not brassy and/or it is not a kind of a unvariedness if the current is Goethean. sent19: if the brig does not fudge capercaillie and beats Benchley then the Moon is a snatch. sent20: the fact that the brig does fudge capercaillie and beats Benchley is not right. sent21: the fact that the fool is a doddering hold. ; $proof$ = 
void -> assump1: Let's assume that the brig does not fudge capercaillie but it beats Benchley.; void -> assump2: Let's assume that the Moon does snatch.; sent6 -> int1: if that the brig does not fudge capercaillie but it does beat Benchley is not correct then it is erect.; __UNKNOWN__