the rutherfordium is non-Sotho a proposer.
sent1: the fact that the parsnip is a kind of a Sotho and is a proposer is incorrect. sent2: the butt-weld is a kind of a proposer. sent3: the parsnip is domestic if it is a kind of a Sotho. sent4: the Libra is sociological if the parsnip is liliaceous. sent5: if something spends sulla then it is liliaceous. sent6: that the Libra is mutative and does not spend sulla is not right. sent7: the fact that the Libra is both a pod and not a proposer is not true. sent8: that the rutherfordium is not a Sotho but it is a proposer is incorrect if the parsnip is not a kind of a Sotho. sent9: something is liliaceous if it is a kind of a domestic. sent10: if the rutherfordium is sociological it is both a domestic and not Sotho. sent11: if that that the fact that the Libra is mutative but it does not spend sulla is true is not correct is true then it is a pod. sent12: the fact that the parsnip is a kind of sociological thing that is liliaceous is wrong if the Libra is not sociological. sent13: something is not sociological and it is not a ASALA if it is a pod.
void -> assump1: Let's assume that the parsnip is a Sotho.; sent3 & assump1 -> int1: the parsnip is a domestic.; sent9 -> int2: if the parsnip is a domestic then it is not non-liliaceous.; int1 & int2 -> int3: the parsnip is liliaceous.; int3 & sent4 -> int4: the Libra is sociological.; sent13 -> int5: the Libra is not sociological and it is not a kind of a ASALA if it is a pod.; sent11 & sent6 -> int6: the Libra pods.; int5 & int6 -> int7: the Libra is not sociological and it is not a kind of a ASALA.; int7 -> int8: that the Libra is not sociological is correct.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: that the parsnip is not a Sotho hold.; int10 & sent8 -> hypothesis;
the rutherfordium is not a Sotho but it is a proposer.
$hypothesis$ = the rutherfordium is non-Sotho a proposer. ; $context$ = sent1: the fact that the parsnip is a kind of a Sotho and is a proposer is incorrect. sent2: the butt-weld is a kind of a proposer. sent3: the parsnip is domestic if it is a kind of a Sotho. sent4: the Libra is sociological if the parsnip is liliaceous. sent5: if something spends sulla then it is liliaceous. sent6: that the Libra is mutative and does not spend sulla is not right. sent7: the fact that the Libra is both a pod and not a proposer is not true. sent8: that the rutherfordium is not a Sotho but it is a proposer is incorrect if the parsnip is not a kind of a Sotho. sent9: something is liliaceous if it is a kind of a domestic. sent10: if the rutherfordium is sociological it is both a domestic and not Sotho. sent11: if that that the fact that the Libra is mutative but it does not spend sulla is true is not correct is true then it is a pod. sent12: the fact that the parsnip is a kind of sociological thing that is liliaceous is wrong if the Libra is not sociological. sent13: something is not sociological and it is not a ASALA if it is a pod. ; $proof$ = 
void -> assump1: Let's assume that the parsnip is a Sotho.; sent3 & assump1 -> int1: the parsnip is a domestic.; sent9 -> int2: if the parsnip is a domestic then it is not non-liliaceous.; int1 & int2 -> int3: the parsnip is liliaceous.; int3 & sent4 -> int4: the Libra is sociological.; sent13 -> int5: the Libra is not sociological and it is not a kind of a ASALA if it is a pod.; sent11 & sent6 -> int6: the Libra pods.; int5 & int6 -> int7: the Libra is not sociological and it is not a kind of a ASALA.; int7 -> int8: that the Libra is not sociological is correct.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: that the parsnip is not a Sotho hold.; int10 & sent8 -> hypothesis; __DISPROVED__