the fact that the Ultrasuede is not a kind of an orangutan and it is not a kind of a natural is not right.
sent1: if something is a decree then that it is not an orangutan and not natural is not right. sent2: the tallith does frolic preservationist or it is a kind of a Danaidae or both. sent3: if the tallith frolics preservationist then that the gossamer is not a real is not false. sent4: if the tallith is a Danaidae then the gossamer is not a real. sent5: if the gossamer is not real then the Ultrasuede is both a decree and a real.
sent2 & sent3 & sent4 -> int1: the gossamer is not a real.; int1 & sent5 -> int2: the Ultrasuede is a decree that is a real.; int2 -> int3: the Ultrasuede is a decree.; sent1 -> int4: that the Ultrasuede is not a kind of an orangutan and is not a natural is false if it decrees.; int3 & int4 -> hypothesis;
$hypothesis$ = the fact that the Ultrasuede is not a kind of an orangutan and it is not a kind of a natural is not right. ; $context$ = sent1: if something is a decree then that it is not an orangutan and not natural is not right. sent2: the tallith does frolic preservationist or it is a kind of a Danaidae or both. sent3: if the tallith frolics preservationist then that the gossamer is not a real is not false. sent4: if the tallith is a Danaidae then the gossamer is not a real. sent5: if the gossamer is not real then the Ultrasuede is both a decree and a real. ; $proof$ = 
sent2 & sent3 & sent4 -> int1: the gossamer is not a real.; int1 & sent5 -> int2: the Ultrasuede is a decree that is a real.; int2 -> int3: the Ultrasuede is a decree.; sent1 -> int4: that the Ultrasuede is not a kind of an orangutan and is not a natural is false if it decrees.; int3 & int4 -> hypothesis; __PROVED__