the fact that that the Samson does not bar Weil and it is not a Lilliputian is incorrect if the abomasum does not bar dragoman is false.
sent1: the fact that the abomasum is actinal is true if the Samson does not bar Weil and is not Lilliputian. sent2: the Samson does not bar Weil and is not Lilliputian if the abomasum does not bar dragoman. sent3: the fact that that the Samson does not bar Weil but it is Lilliputian is right is wrong. sent4: something does bar dragoman if it is actinal.
void -> assump2: Let's assume that the Samson does not bar Weil and is not Lilliputian.; sent1 & assump2 -> int1: the abomasum is actinal.; sent4 -> int2: if the abomasum is actinal it does bar dragoman.; int1 & int2 -> int3: that the abomasum bars dragoman is correct.; void -> assump1: Let's assume that the abomasum does not bar dragoman.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: that that the Samson does not bar Weil and is not Lilliputian is not true is right.; [assump1] & int5 -> hypothesis;
$hypothesis$ = the fact that that the Samson does not bar Weil and it is not a Lilliputian is incorrect if the abomasum does not bar dragoman is false. ; $context$ = sent1: the fact that the abomasum is actinal is true if the Samson does not bar Weil and is not Lilliputian. sent2: the Samson does not bar Weil and is not Lilliputian if the abomasum does not bar dragoman. sent3: the fact that that the Samson does not bar Weil but it is Lilliputian is right is wrong. sent4: something does bar dragoman if it is actinal. ; $proof$ = 
void -> assump2: Let's assume that the Samson does not bar Weil and is not Lilliputian.; sent1 & assump2 -> int1: the abomasum is actinal.; sent4 -> int2: if the abomasum is actinal it does bar dragoman.; int1 & int2 -> int3: that the abomasum bars dragoman is correct.; void -> assump1: Let's assume that the abomasum does not bar dragoman.; int3 & assump1 -> int4: this is contradiction.; [assump2] & int4 -> int5: that that the Samson does not bar Weil and is not Lilliputian is not true is right.; [assump1] & int5 -> hypothesis; __DISPROVED__