the fact that the harvest-lice is not a kind of a campfire is not incorrect.
sent1: something is a snakewood if it transaminates tinsmith. sent2: if there is something such that it is a kind of a trapeze and/or it is a mezereum then the harvest-lice is a campfire. sent3: The jimdandy transaminates gravedigger. sent4: something is not non-Ptolemaic if it is a kind of a snakewood. sent5: if the gravedigger transaminates jimdandy the tetrahymena does log wired and is not a hotel-casino. sent6: if something that logs wired is not a hotel-casino then it does transaminate tinsmith. sent7: the gravedigger transaminates jimdandy. sent8: the sophomore is a kind of a mezereum if it is Ptolemaic and it is not a campfire. sent9: the sophomore does log wired if the tetrahymena is a mezereum. sent10: if the gravedigger is Ptolemaic then the fact that the sophomore does not transaminate tinsmith or it is a kind of a snakewood or both is not true. sent11: that the tetrahymena is not a hotel-casino is correct if the gravedigger does transaminate jimdandy. sent12: the sophomore is a trapeze if the tetrahymena is Ptolemaic. sent13: that the tetrahymena transaminates tinsmith is not incorrect if it logs wired and is a kind of a hotel-casino.
sent6 -> int1: the tetrahymena transaminates tinsmith if it logs wired and is not a hotel-casino.; sent5 & sent7 -> int2: the tetrahymena does log wired and is not a hotel-casino.; int1 & int2 -> int3: the tetrahymena transaminates tinsmith.; sent1 -> int4: the tetrahymena is a snakewood if the fact that it does transaminate tinsmith hold.; int3 & int4 -> int5: the tetrahymena is a kind of a snakewood.; sent4 -> int6: that the tetrahymena is Ptolemaic is not wrong if it is a snakewood.; int5 & int6 -> int7: the tetrahymena is Ptolemaic.; int7 & sent12 -> int8: the sophomore is a trapeze.; int8 -> int9: the sophomore is a trapeze and/or a mezereum.; int9 -> int10: something is a trapeze or a mezereum or both.; int10 & sent2 -> hypothesis;
the harvest-lice is not a kind of a campfire.
$hypothesis$ = the fact that the harvest-lice is not a kind of a campfire is not incorrect. ; $context$ = sent1: something is a snakewood if it transaminates tinsmith. sent2: if there is something such that it is a kind of a trapeze and/or it is a mezereum then the harvest-lice is a campfire. sent3: The jimdandy transaminates gravedigger. sent4: something is not non-Ptolemaic if it is a kind of a snakewood. sent5: if the gravedigger transaminates jimdandy the tetrahymena does log wired and is not a hotel-casino. sent6: if something that logs wired is not a hotel-casino then it does transaminate tinsmith. sent7: the gravedigger transaminates jimdandy. sent8: the sophomore is a kind of a mezereum if it is Ptolemaic and it is not a campfire. sent9: the sophomore does log wired if the tetrahymena is a mezereum. sent10: if the gravedigger is Ptolemaic then the fact that the sophomore does not transaminate tinsmith or it is a kind of a snakewood or both is not true. sent11: that the tetrahymena is not a hotel-casino is correct if the gravedigger does transaminate jimdandy. sent12: the sophomore is a trapeze if the tetrahymena is Ptolemaic. sent13: that the tetrahymena transaminates tinsmith is not incorrect if it logs wired and is a kind of a hotel-casino. ; $proof$ = 
sent6 -> int1: the tetrahymena transaminates tinsmith if it logs wired and is not a hotel-casino.; sent5 & sent7 -> int2: the tetrahymena does log wired and is not a hotel-casino.; int1 & int2 -> int3: the tetrahymena transaminates tinsmith.; sent1 -> int4: the tetrahymena is a snakewood if the fact that it does transaminate tinsmith hold.; int3 & int4 -> int5: the tetrahymena is a kind of a snakewood.; sent4 -> int6: that the tetrahymena is Ptolemaic is not wrong if it is a snakewood.; int5 & int6 -> int7: the tetrahymena is Ptolemaic.; int7 & sent12 -> int8: the sophomore is a trapeze.; int8 -> int9: the sophomore is a trapeze and/or a mezereum.; int9 -> int10: something is a trapeze or a mezereum or both.; int10 & sent2 -> hypothesis; __DISPROVED__