the gymnosophist is a bauble.
sent1: something is a kind of non-amitotic thing that is not a kind of a keratoconus. sent2: the frankincense is a kind of an expressionist if a non-amitotic thing is not a keratoconus. sent3: the gymnosophist is not a bauble if that the viverrine is not a kind of a amine and is a sidesaddle does not hold. sent4: the frankincense is a Madagascan but it is not a sidesaddle if the viverrine is a amine. sent5: the viverrine is a kind of a Madagascan if something that is a kind of an expressionist is unnecessary. sent6: that something is not a kind of a amine and is a kind of a sidesaddle does not hold if it is a Madagascan. sent7: something is a kind of Madagascan thing that does deafen wig. sent8: there is something such that it is not a Valerianella. sent9: the frankincense is not a kind of a bauble if the gymnosophist is unnecessary. sent10: something is a kind of a bauble if it is an expressionist. sent11: the viverrine is a kind of a bauble. sent12: the frankincense is unnecessary but it does not deafen wig. sent13: there is something such that it does capture Klansman. sent14: something is a furlough. sent15: that the famulus is not unnecessary hold. sent16: the frankincense is a sidesaddle if something that is expressionist is a amine. sent17: if something is a Madagascan it is unnecessary and is not an expressionist. sent18: the frankincense is a keratoconus. sent19: there is something such that it is unnecessary and it is a bauble. sent20: the frankincense is a bauble but not a finalization. sent21: the fact that something does not read octane and is a tapping is not correct if it bulwarks. sent22: the gymnosophist is an expressionist if the frankincense is not non-unnecessary but it is not expressionist.
sent1 & sent2 -> int1: the frankincense is an expressionist.; sent12 -> int2: the frankincense is unnecessary.; int1 & int2 -> int3: the frankincense is a kind of an expressionist and it is unnecessary.; int3 -> int4: something is expressionist and unnecessary.; int4 & sent5 -> int5: the viverrine is a Madagascan.; sent6 -> int6: that the viverrine is both not a amine and a sidesaddle does not hold if the fact that it is a Madagascan hold.; int5 & int6 -> int7: the fact that the viverrine is not a amine and is a sidesaddle is not right.; int7 & sent3 -> hypothesis;
the gymnosophist is a kind of a bauble.
sent10 -> int8: the gymnosophist is a bauble if it is an expressionist.; sent17 -> int9: the frankincense is unnecessary but it is not an expressionist if it is Madagascan.;
$hypothesis$ = the gymnosophist is a bauble. ; $context$ = sent1: something is a kind of non-amitotic thing that is not a kind of a keratoconus. sent2: the frankincense is a kind of an expressionist if a non-amitotic thing is not a keratoconus. sent3: the gymnosophist is not a bauble if that the viverrine is not a kind of a amine and is a sidesaddle does not hold. sent4: the frankincense is a Madagascan but it is not a sidesaddle if the viverrine is a amine. sent5: the viverrine is a kind of a Madagascan if something that is a kind of an expressionist is unnecessary. sent6: that something is not a kind of a amine and is a kind of a sidesaddle does not hold if it is a Madagascan. sent7: something is a kind of Madagascan thing that does deafen wig. sent8: there is something such that it is not a Valerianella. sent9: the frankincense is not a kind of a bauble if the gymnosophist is unnecessary. sent10: something is a kind of a bauble if it is an expressionist. sent11: the viverrine is a kind of a bauble. sent12: the frankincense is unnecessary but it does not deafen wig. sent13: there is something such that it does capture Klansman. sent14: something is a furlough. sent15: that the famulus is not unnecessary hold. sent16: the frankincense is a sidesaddle if something that is expressionist is a amine. sent17: if something is a Madagascan it is unnecessary and is not an expressionist. sent18: the frankincense is a keratoconus. sent19: there is something such that it is unnecessary and it is a bauble. sent20: the frankincense is a bauble but not a finalization. sent21: the fact that something does not read octane and is a tapping is not correct if it bulwarks. sent22: the gymnosophist is an expressionist if the frankincense is not non-unnecessary but it is not expressionist. ; $proof$ = 
sent1 & sent2 -> int1: the frankincense is an expressionist.; sent12 -> int2: the frankincense is unnecessary.; int1 & int2 -> int3: the frankincense is a kind of an expressionist and it is unnecessary.; int3 -> int4: something is expressionist and unnecessary.; int4 & sent5 -> int5: the viverrine is a Madagascan.; sent6 -> int6: that the viverrine is both not a amine and a sidesaddle does not hold if the fact that it is a Madagascan hold.; int5 & int6 -> int7: the fact that the viverrine is not a amine and is a sidesaddle is not right.; int7 & sent3 -> hypothesis; __DISPROVED__