the automat is a Skinnerian.
sent1: the rotgut is not a soiling if the tetraspore is not reliable. sent2: the pawer does not glom personification. sent3: if something is a kind of a fantan and complects rotgut then it is not recreational. sent4: something that does not glom personification complects parasailing and is a valgus. sent5: the automat is recreational but it does not complect rotgut if there exists something such that that it is planktonic is true. sent6: that the personification does complect rotgut hold if the pawer does complect parasailing but it does not complect rotgut. sent7: the personification is a fantan if the fact that the rotgut is Britannic but it is not a fantan is not right. sent8: there exists something such that it is a kind of a step. sent9: the automat does not complect rotgut. sent10: the automat does not complect rotgut if there are planktonic things. sent11: there are planktonic things. sent12: the fact that the troika is both a paralanguage and not a Mande is right if there is something such that the fact that it does not glom microphoning does not hold. sent13: something is a Skinnerian if it is planktonic. sent14: something is a kind of non-Skinnerian thing that is not planktonic if it is not recreational. sent15: if the fact that the automat is recreational is not incorrect then it is a kind of a Skinnerian. sent16: the pawer does not complect rotgut if the Spode is a kind of a lotto but it does not complect rotgut. sent17: the tetraspore is undependable or not awful or both if there is something such that it is a kind of a step. sent18: if something is not a soiling the fact that it is Britannic and not a fantan is wrong. sent19: if the automat does complect rotgut it is undependable. sent20: if the personification is non-Skinnerian and non-planktonic that the automat is not a non-Skinnerian is not incorrect. sent21: the Spode is Soviet and a lotto. sent22: if the tetraspore is not awful the rotgut is not a soiling. sent23: if that the Spode is a Anemia or it does not defoliate shod or both is not right then it does not complect rotgut.
sent11 & sent5 -> int1: the automat is recreational but it does not complect rotgut.; int1 -> int2: the automat is recreational.; int2 & sent15 -> hypothesis;
the automat is not a kind of a Skinnerian.
sent14 -> int3: the personification is not Skinnerian and it is not planktonic if it is not recreational.; sent3 -> int4: if the personification is a kind of a fantan and complects rotgut then it is not recreational.; sent18 -> int5: if the fact that the rotgut is not a soiling hold then the fact that that it is both not non-Britannic and not a fantan is correct is not correct.; sent8 & sent17 -> int6: the tetraspore is undependable or is not awful or both.; int6 & sent1 & sent22 -> int7: that the rotgut is not a kind of a soiling is true.; int5 & int7 -> int8: that the rotgut is a kind of Britannic thing that is not a fantan is not right.; sent7 & int8 -> int9: the personification is a fantan.; sent4 -> int10: if the pawer does not glom personification it does complect parasailing and it is a valgus.; int10 & sent2 -> int11: the pawer does complect parasailing and is a kind of a valgus.; int11 -> int12: the pawer does complect parasailing.; sent21 -> int13: the Spode is a lotto.;
$hypothesis$ = the automat is a Skinnerian. ; $context$ = sent1: the rotgut is not a soiling if the tetraspore is not reliable. sent2: the pawer does not glom personification. sent3: if something is a kind of a fantan and complects rotgut then it is not recreational. sent4: something that does not glom personification complects parasailing and is a valgus. sent5: the automat is recreational but it does not complect rotgut if there exists something such that that it is planktonic is true. sent6: that the personification does complect rotgut hold if the pawer does complect parasailing but it does not complect rotgut. sent7: the personification is a fantan if the fact that the rotgut is Britannic but it is not a fantan is not right. sent8: there exists something such that it is a kind of a step. sent9: the automat does not complect rotgut. sent10: the automat does not complect rotgut if there are planktonic things. sent11: there are planktonic things. sent12: the fact that the troika is both a paralanguage and not a Mande is right if there is something such that the fact that it does not glom microphoning does not hold. sent13: something is a Skinnerian if it is planktonic. sent14: something is a kind of non-Skinnerian thing that is not planktonic if it is not recreational. sent15: if the fact that the automat is recreational is not incorrect then it is a kind of a Skinnerian. sent16: the pawer does not complect rotgut if the Spode is a kind of a lotto but it does not complect rotgut. sent17: the tetraspore is undependable or not awful or both if there is something such that it is a kind of a step. sent18: if something is not a soiling the fact that it is Britannic and not a fantan is wrong. sent19: if the automat does complect rotgut it is undependable. sent20: if the personification is non-Skinnerian and non-planktonic that the automat is not a non-Skinnerian is not incorrect. sent21: the Spode is Soviet and a lotto. sent22: if the tetraspore is not awful the rotgut is not a soiling. sent23: if that the Spode is a Anemia or it does not defoliate shod or both is not right then it does not complect rotgut. ; $proof$ = 
sent11 & sent5 -> int1: the automat is recreational but it does not complect rotgut.; int1 -> int2: the automat is recreational.; int2 & sent15 -> hypothesis; __PROVED__