the quiff is both an opossum and autogenetic.
sent1: the quiff is a kind of an opossum if the Mackem is not commutable and it does not sediment Dragunov. sent2: the quiff is autogenetic if it is a interrogative. sent3: if the acrocarp is not corpuscular then the Mackem is not commutable. sent4: if the foreman is not nonracial then the fact that the rudderfish is both not non-interrogative and not photomechanical is not right. sent5: the foreman is not nonracial. sent6: the acrocarp is not corpuscular. sent7: the Mackem is not commutable. sent8: if the acrocarp is not corpuscular the Mackem is not commutable and it does not sediment Dragunov. sent9: if the Mackem is commutable and does not sediment Dragunov then the quiff is an opossum. sent10: the quiff is interrogative.
sent8 & sent6 -> int1: the Mackem is not commutable and does not sediment Dragunov.; int1 & sent1 -> int2: the quiff is a kind of an opossum.; sent2 & sent10 -> int3: the quiff is autogenetic.; int2 & int3 -> hypothesis;
the fact that the quiff is an opossum that is autogenetic is false.
sent4 & sent5 -> int4: the fact that the rudderfish is interrogative but it is not photomechanical is incorrect.; int4 -> int5: there exists something such that that it is a interrogative and is not photomechanical is not true.;
$hypothesis$ = the quiff is both an opossum and autogenetic. ; $context$ = sent1: the quiff is a kind of an opossum if the Mackem is not commutable and it does not sediment Dragunov. sent2: the quiff is autogenetic if it is a interrogative. sent3: if the acrocarp is not corpuscular then the Mackem is not commutable. sent4: if the foreman is not nonracial then the fact that the rudderfish is both not non-interrogative and not photomechanical is not right. sent5: the foreman is not nonracial. sent6: the acrocarp is not corpuscular. sent7: the Mackem is not commutable. sent8: if the acrocarp is not corpuscular the Mackem is not commutable and it does not sediment Dragunov. sent9: if the Mackem is commutable and does not sediment Dragunov then the quiff is an opossum. sent10: the quiff is interrogative. ; $proof$ = 
sent8 & sent6 -> int1: the Mackem is not commutable and does not sediment Dragunov.; int1 & sent1 -> int2: the quiff is a kind of an opossum.; sent2 & sent10 -> int3: the quiff is autogenetic.; int2 & int3 -> hypothesis; __PROVED__