the fauteuil is not antimonic.
sent1: if the modeler is antimonic then it is zoic. sent2: the fact that the boomer does compromise fratricide is true. sent3: something is not Michelangelesque and is not destructive if it is zoic. sent4: if that something is fibrinous but it is not Michelangelesque is not true then it is not destructive. sent5: the fact that the fauteuil is not non-fibrinous but non-Michelangelesque does not hold if there is something such that it is not puerile. sent6: if the modeler is not zoic then it is puerile. sent7: the modeler is not prosodic. sent8: the modeler is not puerile if the boomer compromises fratricide. sent9: something is zoic if it is not destructive. sent10: the fact that the cipher does not compromise fratricide is not incorrect. sent11: if the fact that the modeler is puerile and non-zoic is incorrect it is not destructive. sent12: the modeler does not sing. sent13: if something is not a mine then it scissors Germanic. sent14: if something is zoic then it is antimonic. sent15: that the fauteuil is fibrinous and it is Michelangelesque does not hold if there exists something such that it is not puerile. sent16: if the modeler is zoic the fauteuil is not puerile. sent17: something compromises fratricide if it is not fibrinous. sent18: The fact that the fratricide does compromise boomer is true. sent19: a non-caulescent thing is orthodontic.
sent8 & sent2 -> int1: the modeler is not puerile.; int1 -> int2: something is non-puerile.; int2 & sent5 -> int3: that the fact that the fauteuil is fibrinous and is not Michelangelesque hold is not correct.; sent4 -> int4: the fauteuil is not destructive if that it is fibrinous and it is not Michelangelesque is not true.; int3 & int4 -> int5: that the fauteuil is not destructive is true.; sent9 -> int6: that the fauteuil is zoic is not incorrect if the fact that it is not destructive is not wrong.; int5 & int6 -> int7: the fauteuil is zoic.; sent14 -> int8: if that the fauteuil is zoic hold it is antimonic.; int7 & int8 -> hypothesis;
the fratricide does compromise fratricide.
sent3 -> int9: if the modeler is zoic then it is not Michelangelesque and not destructive.;
$hypothesis$ = the fauteuil is not antimonic. ; $context$ = sent1: if the modeler is antimonic then it is zoic. sent2: the fact that the boomer does compromise fratricide is true. sent3: something is not Michelangelesque and is not destructive if it is zoic. sent4: if that something is fibrinous but it is not Michelangelesque is not true then it is not destructive. sent5: the fact that the fauteuil is not non-fibrinous but non-Michelangelesque does not hold if there is something such that it is not puerile. sent6: if the modeler is not zoic then it is puerile. sent7: the modeler is not prosodic. sent8: the modeler is not puerile if the boomer compromises fratricide. sent9: something is zoic if it is not destructive. sent10: the fact that the cipher does not compromise fratricide is not incorrect. sent11: if the fact that the modeler is puerile and non-zoic is incorrect it is not destructive. sent12: the modeler does not sing. sent13: if something is not a mine then it scissors Germanic. sent14: if something is zoic then it is antimonic. sent15: that the fauteuil is fibrinous and it is Michelangelesque does not hold if there exists something such that it is not puerile. sent16: if the modeler is zoic the fauteuil is not puerile. sent17: something compromises fratricide if it is not fibrinous. sent18: The fact that the fratricide does compromise boomer is true. sent19: a non-caulescent thing is orthodontic. ; $proof$ = 
sent8 & sent2 -> int1: the modeler is not puerile.; int1 -> int2: something is non-puerile.; int2 & sent5 -> int3: that the fact that the fauteuil is fibrinous and is not Michelangelesque hold is not correct.; sent4 -> int4: the fauteuil is not destructive if that it is fibrinous and it is not Michelangelesque is not true.; int3 & int4 -> int5: that the fauteuil is not destructive is true.; sent9 -> int6: that the fauteuil is zoic is not incorrect if the fact that it is not destructive is not wrong.; int5 & int6 -> int7: the fauteuil is zoic.; sent14 -> int8: if that the fauteuil is zoic hold it is antimonic.; int7 & int8 -> hypothesis; __DISPROVED__