the Genet is a kind of a Guy.
sent1: if the fact that the puffin is not introspective and does not exclaim infiniteness does not hold then the Genet is not a Guy. sent2: the pedestal is not a kind of a soutane if the corridor is not antiadrenergic. sent3: the pedestal is not a kind of a soutane if the fact that the corridor is antiadrenergic and Latinizes is not correct. sent4: if the fact that the corridor is both not a featherweight and inexhaustible is not correct then it does not pin dahl. sent5: that something is antiadrenergic and it does Latinize does not hold if it does not pin dahl. sent6: that the fact that the puffin is not introspective and does not exclaim infiniteness is false is true if the pedestal does not exclaim infiniteness. sent7: that the corridor is not a featherweight and is inexhaustible is not right. sent8: something does not exclaim infiniteness if it is not a soutane.
sent5 -> int1: the fact that the corridor is antiadrenergic thing that does Latinize is not right if it does not pin dahl.; sent4 & sent7 -> int2: the corridor does not pin dahl.; int1 & int2 -> int3: that the corridor is a kind of antiadrenergic thing that does Latinize is not true.; int3 & sent3 -> int4: the pedestal is not a soutane.; sent8 -> int5: the pedestal does not exclaim infiniteness if it is not a kind of a soutane.; int4 & int5 -> int6: the fact that the pedestal does not exclaim infiniteness is correct.; int6 & sent6 -> int7: that the puffin is a kind of non-introspective thing that does not exclaim infiniteness is wrong.; int7 & sent1 -> hypothesis;
$hypothesis$ = the Genet is a kind of a Guy. ; $context$ = sent1: if the fact that the puffin is not introspective and does not exclaim infiniteness does not hold then the Genet is not a Guy. sent2: the pedestal is not a kind of a soutane if the corridor is not antiadrenergic. sent3: the pedestal is not a kind of a soutane if the fact that the corridor is antiadrenergic and Latinizes is not correct. sent4: if the fact that the corridor is both not a featherweight and inexhaustible is not correct then it does not pin dahl. sent5: that something is antiadrenergic and it does Latinize does not hold if it does not pin dahl. sent6: that the fact that the puffin is not introspective and does not exclaim infiniteness is false is true if the pedestal does not exclaim infiniteness. sent7: that the corridor is not a featherweight and is inexhaustible is not right. sent8: something does not exclaim infiniteness if it is not a soutane. ; $proof$ = 
sent5 -> int1: the fact that the corridor is antiadrenergic thing that does Latinize is not right if it does not pin dahl.; sent4 & sent7 -> int2: the corridor does not pin dahl.; int1 & int2 -> int3: that the corridor is a kind of antiadrenergic thing that does Latinize is not true.; int3 & sent3 -> int4: the pedestal is not a soutane.; sent8 -> int5: the pedestal does not exclaim infiniteness if it is not a kind of a soutane.; int4 & int5 -> int6: the fact that the pedestal does not exclaim infiniteness is correct.; int6 & sent6 -> int7: that the puffin is a kind of non-introspective thing that does not exclaim infiniteness is wrong.; int7 & sent1 -> hypothesis; __DISPROVED__