that the mantle is a factorial but it is not a proclamation is not true.
sent1: the Illinoisan is a kind of a masonry. sent2: that the Illinoisan is a proclamation but it does not transubstantiate is not true. sent3: the reedbird is a factorial. sent4: the fact that the reedbird transubstantiates and is not a proclamation is incorrect if the Illinoisan is a masonry. sent5: if the mantle is a kind of a masonry then the reedbird is a proclamation. sent6: the reedbird is a kind of a masonry and it is a kind of a merman. sent7: if the reedbird is a merman the Illinoisan does transubstantiate. sent8: the fact that the reedbird is both a merman and not factorial is incorrect. sent9: the crop is a kind of a Forseti and it confederates cracking.
sent6 -> int1: the reedbird is a kind of a merman.; int1 & sent7 -> int2: the Illinoisan transubstantiates.;
$hypothesis$ = that the mantle is a factorial but it is not a proclamation is not true. ; $context$ = sent1: the Illinoisan is a kind of a masonry. sent2: that the Illinoisan is a proclamation but it does not transubstantiate is not true. sent3: the reedbird is a factorial. sent4: the fact that the reedbird transubstantiates and is not a proclamation is incorrect if the Illinoisan is a masonry. sent5: if the mantle is a kind of a masonry then the reedbird is a proclamation. sent6: the reedbird is a kind of a masonry and it is a kind of a merman. sent7: if the reedbird is a merman the Illinoisan does transubstantiate. sent8: the fact that the reedbird is both a merman and not factorial is incorrect. sent9: the crop is a kind of a Forseti and it confederates cracking. ; $proof$ = 
sent6 -> int1: the reedbird is a kind of a merman.; int1 & sent7 -> int2: the Illinoisan transubstantiates.; __UNKNOWN__