the fact that there exists something such that if it is incongruent it is not tribal is wrong.
sent1: there is something such that it is Bogartian. sent2: something is not tribal if it is not marine and it is not congruent. sent3: if something that is Bogartian throws then the semblance is not a marine. sent4: there exists something such that if that it is congruent is true it is not tribal. sent5: the fact that the router is a Aristotelian and it does prejudice menial does not hold. sent6: there is something such that if it is not congruent then it is tribal. sent7: the router is Bogartian. sent8: if the semblance is not congruent then it is tribal. sent9: if the fact that the router is not a Aristotelian but it does prejudice menial is not true it is a kind of a throw. sent10: that the router is non-Aristotelian but it prejudices menial is not true. sent11: if the semblance is congruent then it is not tribal. sent12: if the semblance is non-marine thing that is not congruent then it is tribal.
sent9 & sent10 -> int1: the router is a throw.; int1 & sent7 -> int2: the router is not non-Bogartian and it does throw.; int2 -> int3: there is something such that it is Bogartian and it does throw.; int3 & sent3 -> int4: the semblance is not a marine.; void -> assump1: Let's assume that the semblance is incongruent.; int4 & assump1 -> int5: the semblance is not a kind of a marine and it is not congruent.; sent2 -> int6: if the semblance is not a marine and not congruent it is not tribal.; int5 & int6 -> int7: the fact that the semblance is non-tribal is not incorrect.; [assump1] & int7 -> int8: the semblance is not tribal if it is not congruent.; int8 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if it is incongruent it is not tribal is wrong. ; $context$ = sent1: there is something such that it is Bogartian. sent2: something is not tribal if it is not marine and it is not congruent. sent3: if something that is Bogartian throws then the semblance is not a marine. sent4: there exists something such that if that it is congruent is true it is not tribal. sent5: the fact that the router is a Aristotelian and it does prejudice menial does not hold. sent6: there is something such that if it is not congruent then it is tribal. sent7: the router is Bogartian. sent8: if the semblance is not congruent then it is tribal. sent9: if the fact that the router is not a Aristotelian but it does prejudice menial is not true it is a kind of a throw. sent10: that the router is non-Aristotelian but it prejudices menial is not true. sent11: if the semblance is congruent then it is not tribal. sent12: if the semblance is non-marine thing that is not congruent then it is tribal. ; $proof$ = 
sent9 & sent10 -> int1: the router is a throw.; int1 & sent7 -> int2: the router is not non-Bogartian and it does throw.; int2 -> int3: there is something such that it is Bogartian and it does throw.; int3 & sent3 -> int4: the semblance is not a marine.; void -> assump1: Let's assume that the semblance is incongruent.; int4 & assump1 -> int5: the semblance is not a kind of a marine and it is not congruent.; sent2 -> int6: if the semblance is not a marine and not congruent it is not tribal.; int5 & int6 -> int7: the fact that the semblance is non-tribal is not incorrect.; [assump1] & int7 -> int8: the semblance is not tribal if it is not congruent.; int8 -> hypothesis; __DISPROVED__