there is something such that it compacts Columbus.
sent1: there is something such that the fact that it compacts outback is right. sent2: the arranger investigates Spock if the TC is a ethicism. sent3: the TC is a kind of a ethicism if it sparkles mezzotint. sent4: if there exists something such that it is a ethicism then the TC sparkles mezzotint. sent5: if that the arranger investigates Spock is not false then it sparkles mezzotint. sent6: the TC does blockade and it is fertile if there is something such that it is a raising. sent7: the TC does blockade. sent8: if there is something such that that it does investigate Spock hold then the arranger is both not non-fertile and a blockading. sent9: the fact that the beachball is not fertile and sparkles mezzotint is wrong if it does not investigate Spock. sent10: the office-bearer ignites and it does investigate Spock. sent11: the office-bearer is congregational. sent12: if the TC is fertile the fact that it sparkles mezzotint is not false. sent13: something is a kind of a bottleneck. sent14: the arranger aligns. sent15: the TC is a bottleneck if the office-bearer does blockade. sent16: something is a kind of a ethicism that does raise if it is not a kind of a blockading. sent17: if the arranger is a ethicism then the TC investigates Spock. sent18: the TC is cardiographic. sent19: the arranger is a kind of a days. sent20: the arranger does investigate Spock if it is a bottleneck. sent21: the beachball does not investigate Spock if that it does not compact Columbus and does investigate Spock is incorrect. sent22: there is something such that it does raise. sent23: if the office-bearer bottlenecks then it compacts Columbus.
sent22 & sent6 -> int1: the TC is a blockading and it is fertile.; int1 -> int2: the TC is fertile.; int2 & sent12 -> int3: the TC does sparkle mezzotint.; int3 & sent3 -> int4: the TC is a ethicism.; int4 & sent2 -> int5: the arranger investigates Spock.;
the beachball is a ethicism.
sent16 -> int6: if the beachball is not a blockading then it is a ethicism and it is a kind of a raising.;
$hypothesis$ = there is something such that it compacts Columbus. ; $context$ = sent1: there is something such that the fact that it compacts outback is right. sent2: the arranger investigates Spock if the TC is a ethicism. sent3: the TC is a kind of a ethicism if it sparkles mezzotint. sent4: if there exists something such that it is a ethicism then the TC sparkles mezzotint. sent5: if that the arranger investigates Spock is not false then it sparkles mezzotint. sent6: the TC does blockade and it is fertile if there is something such that it is a raising. sent7: the TC does blockade. sent8: if there is something such that that it does investigate Spock hold then the arranger is both not non-fertile and a blockading. sent9: the fact that the beachball is not fertile and sparkles mezzotint is wrong if it does not investigate Spock. sent10: the office-bearer ignites and it does investigate Spock. sent11: the office-bearer is congregational. sent12: if the TC is fertile the fact that it sparkles mezzotint is not false. sent13: something is a kind of a bottleneck. sent14: the arranger aligns. sent15: the TC is a bottleneck if the office-bearer does blockade. sent16: something is a kind of a ethicism that does raise if it is not a kind of a blockading. sent17: if the arranger is a ethicism then the TC investigates Spock. sent18: the TC is cardiographic. sent19: the arranger is a kind of a days. sent20: the arranger does investigate Spock if it is a bottleneck. sent21: the beachball does not investigate Spock if that it does not compact Columbus and does investigate Spock is incorrect. sent22: there is something such that it does raise. sent23: if the office-bearer bottlenecks then it compacts Columbus. ; $proof$ = 
sent22 & sent6 -> int1: the TC is a blockading and it is fertile.; int1 -> int2: the TC is fertile.; int2 & sent12 -> int3: the TC does sparkle mezzotint.; int3 & sent3 -> int4: the TC is a ethicism.; int4 & sent2 -> int5: the arranger investigates Spock.; __UNKNOWN__