the gamebag is a kind of a playgoer.
sent1: the quillwort tags biology. sent2: the biology is not a kind of an infernal. sent3: if the fact that something is extrasensory and it is a kind of a playgoer is not correct it is not a kind of a playgoer. sent4: if that the biology is not a kind of an infernal and is a playgoer is not correct the gamebag is not a kind of a playgoer. sent5: if the biology is not an infernal the quillwort tags biology. sent6: if the quillwort does tag biology but it does not tag Adventism the gamebag is a playgoer. sent7: the gamebag diphthongizes. sent8: the smallmouth tags biology. sent9: if the fact that the biology is not a kind of an infernal is not wrong the quillwort tags biology but it does not tag Adventism.
sent9 & sent2 -> int1: the quillwort does tag biology and does not tag Adventism.; sent6 & int1 -> hypothesis;
the fact that the gamebag is not a playgoer hold.
sent3 -> int2: if the fact that the quillwort is extrasensory and a playgoer is not correct it is not a playgoer.;
$hypothesis$ = the gamebag is a kind of a playgoer. ; $context$ = sent1: the quillwort tags biology. sent2: the biology is not a kind of an infernal. sent3: if the fact that something is extrasensory and it is a kind of a playgoer is not correct it is not a kind of a playgoer. sent4: if that the biology is not a kind of an infernal and is a playgoer is not correct the gamebag is not a kind of a playgoer. sent5: if the biology is not an infernal the quillwort tags biology. sent6: if the quillwort does tag biology but it does not tag Adventism the gamebag is a playgoer. sent7: the gamebag diphthongizes. sent8: the smallmouth tags biology. sent9: if the fact that the biology is not a kind of an infernal is not wrong the quillwort tags biology but it does not tag Adventism. ; $proof$ = 
sent9 & sent2 -> int1: the quillwort does tag biology and does not tag Adventism.; sent6 & int1 -> hypothesis; __PROVED__