the cutch is a kind of a steenbok.
sent1: if the kaon is anabolic then that the firetrap is aft is true. sent2: the toolmaker does shampoo toolmaker. sent3: that the caiman is unreproducible is not incorrect. sent4: if there are unreproducible and aft things the knife does reopen cabala. sent5: if something is anabolic but it is not altricial that it is not a kind of a steenbok is true. sent6: something is aft. sent7: the toolmaker is unreproducible. sent8: if the toolmaker is aft then it does plow. sent9: if something does not reopen cabala or it does not plow or both it does not reopen cabala. sent10: if the firetrap is a kind of a plow then it is a kind of a macrocephaly. sent11: the kaon is aft if the firetrap does not reopen cabala and/or is reproducible. sent12: the knife is a steenbok. sent13: the firetrap is altricial. sent14: the toolmaker is not a macrocephaly. sent15: the boathouse is unreproducible. sent16: the kaon is a macrocephaly. sent17: there exists something such that it is unreproducible. sent18: the kaon is scalene. sent19: that the firetrap is unreproducible is true if it is a macrocephaly. sent20: the kaon is not altricial. sent21: the kaon plows if it is altricial. sent22: the firetrap plows if the toolmaker is aft. sent23: something is not non-anabolic. sent24: the toolmaker plows. sent25: if the kaon plows it is altricial. sent26: if the kaon is aft then the cutch is anabolic but it is not altricial. sent27: that the kaon is not altricial and it is not anabolic does not hold if something is anabolic. sent28: if the toolmaker is a plow the firetrap does plow.
void -> assump1: Let's assume that the kaon is not anabolic.; sent20 & assump1 -> int1: the kaon is not altricial and is not anabolic.; sent23 & sent27 -> int2: that the kaon is not altricial and is not anabolic is not true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the kaon is anabolic.; int4 & sent1 -> int5: the firetrap is aft.; sent28 & sent24 -> int6: the firetrap is a plow.; sent10 & int6 -> int7: the firetrap is a macrocephaly.; sent19 & int7 -> int8: the fact that the firetrap is unreproducible is not wrong.; int5 & int8 -> int9: the firetrap is unreproducible and it is aft.; int9 -> int10: something is a kind of unreproducible thing that is aft.; int10 & sent4 -> int11: the knife reopens cabala.;
the cutch is not a steenbok.
sent5 -> int12: if the cutch is anabolic and not altricial then it is not a kind of a steenbok.; sent9 -> int13: the firetrap does not reopen cabala if it either does not reopen cabala or is not a plow or both.; sent14 -> int14: there exists something such that it is not a macrocephaly.;
$hypothesis$ = the cutch is a kind of a steenbok. ; $context$ = sent1: if the kaon is anabolic then that the firetrap is aft is true. sent2: the toolmaker does shampoo toolmaker. sent3: that the caiman is unreproducible is not incorrect. sent4: if there are unreproducible and aft things the knife does reopen cabala. sent5: if something is anabolic but it is not altricial that it is not a kind of a steenbok is true. sent6: something is aft. sent7: the toolmaker is unreproducible. sent8: if the toolmaker is aft then it does plow. sent9: if something does not reopen cabala or it does not plow or both it does not reopen cabala. sent10: if the firetrap is a kind of a plow then it is a kind of a macrocephaly. sent11: the kaon is aft if the firetrap does not reopen cabala and/or is reproducible. sent12: the knife is a steenbok. sent13: the firetrap is altricial. sent14: the toolmaker is not a macrocephaly. sent15: the boathouse is unreproducible. sent16: the kaon is a macrocephaly. sent17: there exists something such that it is unreproducible. sent18: the kaon is scalene. sent19: that the firetrap is unreproducible is true if it is a macrocephaly. sent20: the kaon is not altricial. sent21: the kaon plows if it is altricial. sent22: the firetrap plows if the toolmaker is aft. sent23: something is not non-anabolic. sent24: the toolmaker plows. sent25: if the kaon plows it is altricial. sent26: if the kaon is aft then the cutch is anabolic but it is not altricial. sent27: that the kaon is not altricial and it is not anabolic does not hold if something is anabolic. sent28: if the toolmaker is a plow the firetrap does plow. ; $proof$ = 
void -> assump1: Let's assume that the kaon is not anabolic.; sent20 & assump1 -> int1: the kaon is not altricial and is not anabolic.; sent23 & sent27 -> int2: that the kaon is not altricial and is not anabolic is not true.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the kaon is anabolic.; int4 & sent1 -> int5: the firetrap is aft.; sent28 & sent24 -> int6: the firetrap is a plow.; sent10 & int6 -> int7: the firetrap is a macrocephaly.; sent19 & int7 -> int8: the fact that the firetrap is unreproducible is not wrong.; int5 & int8 -> int9: the firetrap is unreproducible and it is aft.; int9 -> int10: something is a kind of unreproducible thing that is aft.; int10 & sent4 -> int11: the knife reopens cabala.; __UNKNOWN__