the counterperson is a kind of a living-room that does land Serrasalmus.
sent1: there exists something such that it is decisive thing that is not a sour. sent2: if there exists something such that it is not bronchial then the respiration is a two-step and it is a putout. sent3: something that is not amphoric is bronchial or is narial or both. sent4: if the hairnet is not a putout then the fact that the counterperson is a living-room and lands Serrasalmus is false. sent5: if something is not a living-room then that it does not land Serrasalmus and it is not narial is wrong. sent6: the hairnet is a putout if there is something such that that it does assemble aphasic and it does not land inappropriateness does not hold. sent7: something is indulgent and/or does not assemble impertinence if it is not an orderliness. sent8: the counterperson is not amphoric and is a living-room. sent9: if something does not refrain black and is not nonlinear then it is not an orderliness. sent10: if the fact that the hornbeam assembles Medicaid and does gorge hairnet is wrong the underwriter does not assembles Medicaid. sent11: the fact that the razorblade is not amphoric is not incorrect if there is something such that it is indulgent or it does not assemble impertinence or both. sent12: the counterperson lands Serrasalmus if the razorblade is not narial. sent13: there exists something such that the fact that it assembles aphasic and does not land inappropriateness is not correct. sent14: the underwriter is not nonlinear if it does not assemble Medicaid. sent15: if there are decisive and non-sour things the fact that the underwriter does not refrain black hold. sent16: the fact that the hornbeam does assemble Medicaid and gorges hairnet is wrong. sent17: that the hairnet is bronchial is not incorrect. sent18: if the hairnet is bronchial and it is a putout the razorblade is not narial.
sent13 & sent6 -> int1: the fact that the hairnet is a kind of a putout is not wrong.; int1 & sent17 -> int2: the hairnet is bronchial and it is a kind of a putout.; int2 & sent18 -> int3: the razorblade is not narial.; int3 & sent12 -> int4: that the counterperson does land Serrasalmus is not false.; sent8 -> int5: the fact that the counterperson is a kind of a living-room is correct.; int4 & int5 -> hypothesis;
that the counterperson is a living-room and it does land Serrasalmus is not right.
sent3 -> int6: if the razorblade is not amphoric then it is bronchial or it is narial or both.; sent7 -> int7: if the underwriter is not a kind of an orderliness then it is indulgent and/or it does not assemble impertinence.; sent9 -> int8: the underwriter is not an orderliness if it does not refrain black and it is not nonlinear.; sent1 & sent15 -> int9: the underwriter does not refrain black.; sent10 & sent16 -> int10: the underwriter does not assemble Medicaid.; sent14 & int10 -> int11: the underwriter is not nonlinear.; int9 & int11 -> int12: the underwriter does not refrain black and it is not nonlinear.; int8 & int12 -> int13: that the underwriter is not an orderliness is true.; int7 & int13 -> int14: either the underwriter is indulgent or it does not assemble impertinence or both.; int14 -> int15: the fact that something either is indulgent or does not assemble impertinence or both is true.; int15 & sent11 -> int16: the razorblade is not amphoric.; int6 & int16 -> int17: either the razorblade is bronchial or it is narial or both.; int17 -> int18: something is bronchial and/or narial.;
$hypothesis$ = the counterperson is a kind of a living-room that does land Serrasalmus. ; $context$ = sent1: there exists something such that it is decisive thing that is not a sour. sent2: if there exists something such that it is not bronchial then the respiration is a two-step and it is a putout. sent3: something that is not amphoric is bronchial or is narial or both. sent4: if the hairnet is not a putout then the fact that the counterperson is a living-room and lands Serrasalmus is false. sent5: if something is not a living-room then that it does not land Serrasalmus and it is not narial is wrong. sent6: the hairnet is a putout if there is something such that that it does assemble aphasic and it does not land inappropriateness does not hold. sent7: something is indulgent and/or does not assemble impertinence if it is not an orderliness. sent8: the counterperson is not amphoric and is a living-room. sent9: if something does not refrain black and is not nonlinear then it is not an orderliness. sent10: if the fact that the hornbeam assembles Medicaid and does gorge hairnet is wrong the underwriter does not assembles Medicaid. sent11: the fact that the razorblade is not amphoric is not incorrect if there is something such that it is indulgent or it does not assemble impertinence or both. sent12: the counterperson lands Serrasalmus if the razorblade is not narial. sent13: there exists something such that the fact that it assembles aphasic and does not land inappropriateness is not correct. sent14: the underwriter is not nonlinear if it does not assemble Medicaid. sent15: if there are decisive and non-sour things the fact that the underwriter does not refrain black hold. sent16: the fact that the hornbeam does assemble Medicaid and gorges hairnet is wrong. sent17: that the hairnet is bronchial is not incorrect. sent18: if the hairnet is bronchial and it is a putout the razorblade is not narial. ; $proof$ = 
sent13 & sent6 -> int1: the fact that the hairnet is a kind of a putout is not wrong.; int1 & sent17 -> int2: the hairnet is bronchial and it is a kind of a putout.; int2 & sent18 -> int3: the razorblade is not narial.; int3 & sent12 -> int4: that the counterperson does land Serrasalmus is not false.; sent8 -> int5: the fact that the counterperson is a kind of a living-room is correct.; int4 & int5 -> hypothesis; __PROVED__