that the Anglican does not fool burgrass is true.
sent1: the Anglican is catoptrics thing that fools burgrass if the Sikh is not a Tabernacle. sent2: the boulle is net if there exists something such that it blames bugged. sent3: if the Anglican is a kind of a Thai then it is non-net. sent4: the boulle nets if something does blame bugged or does madden or both. sent5: that the fact that the Sikh is not a Tabernacle is not incorrect if the fact that the Incarnation is not a cataloger is right hold. sent6: if the boulle is a net the palpebration is not non-Thai. sent7: if the palpebration talks tan then the burgrass does not talks tan and is a contraband. sent8: the burgrass does not talk tan. sent9: the Anglican is not a contraband but it does crank habited. sent10: the Incarnation is not a cataloger if the burgrass does not talk tan and is a contraband. sent11: the palpebration talks tan if it is a kind of a Thai. sent12: the infernal is an elective. sent13: the burgrass does not talk tan if the palpebration talk tan. sent14: the Anglican is not non-catoptrics if the Sikh is not a Tabernacle. sent15: the Incarnation is not a cataloger if that the burgrass does talk tan and it is a kind of a contraband is not false. sent16: there exists something such that it does blame bugged and/or it maddens. sent17: there is something such that that it is a contraband and is not a Thai is not correct.
sent16 & sent4 -> int1: the boulle does net.; int1 & sent6 -> int2: the palpebration is Thai.; int2 & sent11 -> int3: the palpebration talks tan.; int3 & sent7 -> int4: the burgrass does not talk tan but it is a contraband.; int4 & sent10 -> int5: the Incarnation is not a cataloger.; int5 & sent5 -> int6: the Sikh is not a Tabernacle.; int6 & sent1 -> int7: the Anglican is a kind of catoptrics thing that does fool burgrass.; int7 -> hypothesis;
the fact that the Anglican does not fool burgrass is not wrong.
$hypothesis$ = that the Anglican does not fool burgrass is true. ; $context$ = sent1: the Anglican is catoptrics thing that fools burgrass if the Sikh is not a Tabernacle. sent2: the boulle is net if there exists something such that it blames bugged. sent3: if the Anglican is a kind of a Thai then it is non-net. sent4: the boulle nets if something does blame bugged or does madden or both. sent5: that the fact that the Sikh is not a Tabernacle is not incorrect if the fact that the Incarnation is not a cataloger is right hold. sent6: if the boulle is a net the palpebration is not non-Thai. sent7: if the palpebration talks tan then the burgrass does not talks tan and is a contraband. sent8: the burgrass does not talk tan. sent9: the Anglican is not a contraband but it does crank habited. sent10: the Incarnation is not a cataloger if the burgrass does not talk tan and is a contraband. sent11: the palpebration talks tan if it is a kind of a Thai. sent12: the infernal is an elective. sent13: the burgrass does not talk tan if the palpebration talk tan. sent14: the Anglican is not non-catoptrics if the Sikh is not a Tabernacle. sent15: the Incarnation is not a cataloger if that the burgrass does talk tan and it is a kind of a contraband is not false. sent16: there exists something such that it does blame bugged and/or it maddens. sent17: there is something such that that it is a contraband and is not a Thai is not correct. ; $proof$ = 
sent16 & sent4 -> int1: the boulle does net.; int1 & sent6 -> int2: the palpebration is Thai.; int2 & sent11 -> int3: the palpebration talks tan.; int3 & sent7 -> int4: the burgrass does not talk tan but it is a contraband.; int4 & sent10 -> int5: the Incarnation is not a cataloger.; int5 & sent5 -> int6: the Sikh is not a Tabernacle.; int6 & sent1 -> int7: the Anglican is a kind of catoptrics thing that does fool burgrass.; int7 -> hypothesis; __DISPROVED__