the funambulist is tectonics.
sent1: if the knoll is a garmentmaker the mobile is hatless. sent2: if the obscurantist does not snuffle hydroxychloroquine that it is not foliate and is a garmentmaker does not hold. sent3: if the obscurantist is not amphoric it does not snuffle hydroxychloroquine. sent4: that the obscurantist is not a feminism but invulnerable does not hold if the destroyer is not a feminism. sent5: either the Malay is not hatless or it does not snuffle Mastigophora or both. sent6: if the fact that something is not a kind of a Snow and/or does tool agaric is not false then the destroyer is not a feminism. sent7: something is not a Guatemalan if it is hatless. sent8: the destroyer is not a kind of a Guatemalan if there is something such that that it is non-foliate thing that is a garmentmaker does not hold. sent9: the mobile is a kind of a Calluna and/or it is non-Guatemalan. sent10: the fact that the mobile is not a Calluna and/or it is not a Guatemalan is not correct if the almond is not a Calluna. sent11: if something is not a Calluna then that it is not a feminism and it is not invulnerable does not hold. sent12: the knoll is a garmentmaker if it foliates. sent13: something is not a Snow or it tools agaric or both if that it is not tectonics hold. sent14: that the obscurantist is not amphoric is true. sent15: the funambulist does nail migrant. sent16: something is not a Calluna and/or is not hatless if it is not a Guatemalan. sent17: either the funambulist does not tool agaric or it is a kind of a Calluna or both. sent18: something is a felwort and/or tools Pekinese if the fact that it is not tetanic is not false. sent19: the almond is not a kind of a Calluna if that the obscurantist is both not a feminism and invulnerable is wrong.
sent13 -> int1: the funambulist is not a Snow and/or tools agaric if it is non-tectonics.; void -> assump1: Let's assume that the funambulist is not tectonics.; int1 & assump1 -> int2: the funambulist is not a Snow and/or tools agaric.; int2 -> int3: there is something such that it is not a kind of a Snow and/or tools agaric.; int3 & sent6 -> int4: the destroyer is not a feminism.; int4 & sent4 -> int5: that the obscurantist is not a feminism but it is not vulnerable is false.; int5 & sent19 -> int6: the almond is not a Calluna.; int6 & sent10 -> int7: the fact that the mobile is not a Calluna and/or it is not a kind of a Guatemalan is false.; sent7 -> int8: the mobile is not a Guatemalan if it is hatless.;
the funambulist is not tectonics.
sent11 -> int9: the fact that the destroyer is not a feminism and it is not invulnerable is not right if it is not a kind of a Calluna.; sent16 -> int10: the destroyer is not a Calluna or not hatless or both if the fact that it is not a Guatemalan is true.; sent3 & sent14 -> int11: the obscurantist does not snuffle hydroxychloroquine.; sent2 & int11 -> int12: that the obscurantist is not foliate but it is a garmentmaker is not correct.; int12 -> int13: that there is something such that the fact that it is non-foliate thing that is a kind of a garmentmaker is false hold.; int13 & sent8 -> int14: the destroyer is not a kind of a Guatemalan.; int10 & int14 -> int15: the destroyer is not a Calluna and/or is not hatless.;
$hypothesis$ = the funambulist is tectonics. ; $context$ = sent1: if the knoll is a garmentmaker the mobile is hatless. sent2: if the obscurantist does not snuffle hydroxychloroquine that it is not foliate and is a garmentmaker does not hold. sent3: if the obscurantist is not amphoric it does not snuffle hydroxychloroquine. sent4: that the obscurantist is not a feminism but invulnerable does not hold if the destroyer is not a feminism. sent5: either the Malay is not hatless or it does not snuffle Mastigophora or both. sent6: if the fact that something is not a kind of a Snow and/or does tool agaric is not false then the destroyer is not a feminism. sent7: something is not a Guatemalan if it is hatless. sent8: the destroyer is not a kind of a Guatemalan if there is something such that that it is non-foliate thing that is a garmentmaker does not hold. sent9: the mobile is a kind of a Calluna and/or it is non-Guatemalan. sent10: the fact that the mobile is not a Calluna and/or it is not a Guatemalan is not correct if the almond is not a Calluna. sent11: if something is not a Calluna then that it is not a feminism and it is not invulnerable does not hold. sent12: the knoll is a garmentmaker if it foliates. sent13: something is not a Snow or it tools agaric or both if that it is not tectonics hold. sent14: that the obscurantist is not amphoric is true. sent15: the funambulist does nail migrant. sent16: something is not a Calluna and/or is not hatless if it is not a Guatemalan. sent17: either the funambulist does not tool agaric or it is a kind of a Calluna or both. sent18: something is a felwort and/or tools Pekinese if the fact that it is not tetanic is not false. sent19: the almond is not a kind of a Calluna if that the obscurantist is both not a feminism and invulnerable is wrong. ; $proof$ = 
sent13 -> int1: the funambulist is not a Snow and/or tools agaric if it is non-tectonics.; void -> assump1: Let's assume that the funambulist is not tectonics.; int1 & assump1 -> int2: the funambulist is not a Snow and/or tools agaric.; int2 -> int3: there is something such that it is not a kind of a Snow and/or tools agaric.; int3 & sent6 -> int4: the destroyer is not a feminism.; int4 & sent4 -> int5: that the obscurantist is not a feminism but it is not vulnerable is false.; int5 & sent19 -> int6: the almond is not a Calluna.; int6 & sent10 -> int7: the fact that the mobile is not a Calluna and/or it is not a kind of a Guatemalan is false.; sent7 -> int8: the mobile is not a Guatemalan if it is hatless.; __UNKNOWN__