either the gasbag is a timbered or it is a kind of a alienator or both.
sent1: if something is a icecream then that it does not platinize vibraphone and it tarnishes does not hold. sent2: everything is inharmonious. sent3: the topping is a satisfactoriness if it is a Caterpillar. sent4: if that something does not platinize vibraphone is right then it is not a alienator. sent5: the gasbag is not a tarnish. sent6: the fact that either the yawn is felicitous or it is a alienator or both does not hold. sent7: if that the gasbag does not target gasbag hold then the fact that it either is unexportable or electrifies or both is wrong. sent8: if that something does platinize mackintosh and folds recusation is not correct it is not a Luculus. sent9: the fact that something is a kind of a timbered and/or it is a kind of a alienator is not correct if it does not platinize vibraphone. sent10: the fact that something does not platinize vibraphone hold if the fact that the fact that it is a kind of an endorsement and it folds Gabonese is not false is incorrect. sent11: that the gasbag is an endorsement that folds Gabonese is not true if it does not tarnish. sent12: if the gasbag is not a alienator then it is not nacreous. sent13: the antifungal is a icecream if a inharmonious thing is a satisfactoriness. sent14: the fact that the gasbag does target gasbag and it is a kind of a tarnish does not hold. sent15: the topping is a Caterpillar.
sent11 & sent5 -> int1: that the gasbag is an endorsement and it folds Gabonese is incorrect.; sent10 -> int2: if that the fact that the gasbag is a kind of an endorsement and it does fold Gabonese is right is incorrect it does not platinize vibraphone.; int1 & int2 -> int3: the gasbag does not platinize vibraphone.; sent9 -> int4: that the gasbag is a kind of a timbered and/or it is a alienator is incorrect if the fact that it does not platinize vibraphone hold.; int3 & int4 -> hypothesis;
the gasbag either is a timbered or is a alienator or both.
sent1 -> int5: if the antifungal is a icecream the fact that it does not platinize vibraphone and it tarnishes is wrong.; sent2 -> int6: the topping is inharmonious.; sent3 & sent15 -> int7: the topping is a satisfactoriness.; int6 & int7 -> int8: the topping is inharmonious and it is a satisfactoriness.; int8 -> int9: the fact that something is inharmonious and it is a satisfactoriness hold.; int9 & sent13 -> int10: the antifungal is a icecream.; int5 & int10 -> int11: the fact that the antifungal does not platinize vibraphone but it is a kind of a tarnish is not correct.; int11 -> int12: there exists something such that that it does not platinize vibraphone and does tarnish is not correct.;
$hypothesis$ = either the gasbag is a timbered or it is a kind of a alienator or both. ; $context$ = sent1: if something is a icecream then that it does not platinize vibraphone and it tarnishes does not hold. sent2: everything is inharmonious. sent3: the topping is a satisfactoriness if it is a Caterpillar. sent4: if that something does not platinize vibraphone is right then it is not a alienator. sent5: the gasbag is not a tarnish. sent6: the fact that either the yawn is felicitous or it is a alienator or both does not hold. sent7: if that the gasbag does not target gasbag hold then the fact that it either is unexportable or electrifies or both is wrong. sent8: if that something does platinize mackintosh and folds recusation is not correct it is not a Luculus. sent9: the fact that something is a kind of a timbered and/or it is a kind of a alienator is not correct if it does not platinize vibraphone. sent10: the fact that something does not platinize vibraphone hold if the fact that the fact that it is a kind of an endorsement and it folds Gabonese is not false is incorrect. sent11: that the gasbag is an endorsement that folds Gabonese is not true if it does not tarnish. sent12: if the gasbag is not a alienator then it is not nacreous. sent13: the antifungal is a icecream if a inharmonious thing is a satisfactoriness. sent14: the fact that the gasbag does target gasbag and it is a kind of a tarnish does not hold. sent15: the topping is a Caterpillar. ; $proof$ = 
sent11 & sent5 -> int1: that the gasbag is an endorsement and it folds Gabonese is incorrect.; sent10 -> int2: if that the fact that the gasbag is a kind of an endorsement and it does fold Gabonese is right is incorrect it does not platinize vibraphone.; int1 & int2 -> int3: the gasbag does not platinize vibraphone.; sent9 -> int4: that the gasbag is a kind of a timbered and/or it is a alienator is incorrect if the fact that it does not platinize vibraphone hold.; int3 & int4 -> hypothesis; __DISPROVED__