the gallinacean is not a kind of a googolplex but it does barbarize eel.
sent1: the fact that the Rajput does not barbarize eel and is not a Shawnee is not correct. sent2: if the porphyrin is a provost that the Rajput is a kind of a provost and is not a Shawnee is wrong. sent3: the laver is a provost if the fact that the porphyrin does not barbarize eel and it is not a kind of a Shawnee is not right. sent4: the gallinacean is not a googolplex but it barbarizes eel if the laver barbarizes eel. sent5: if the Rajput is a provost then the laver does group porphyrin. sent6: the fact that the laver is a Shawnee is not wrong. sent7: The bettering does group porphyrin. sent8: if something groups porphyrin it does barbarize eel. sent9: the fact that the laver is not a kind of a provost but it does barbarize eel is not true. sent10: if the fact that the Rajput is not a provost and it is not a Shawnee does not hold the laver does group porphyrin. sent11: the porphyrin does group bettering. sent12: the porphyrin does group porphyrin. sent13: if the porphyrin does group bettering then it is a provost. sent14: the fact that the Rajput is not a provost and it is not a Shawnee is not right if the porphyrin is a provost.
sent13 & sent11 -> int1: that the porphyrin is a provost is right.; int1 & sent14 -> int2: the fact that the Rajput is not a kind of a provost and is not a Shawnee is false.; int2 & sent10 -> int3: the laver groups porphyrin.; sent8 -> int4: the laver barbarizes eel if it groups porphyrin.; int3 & int4 -> int5: the laver barbarizes eel.; int5 & sent4 -> hypothesis;
$hypothesis$ = the gallinacean is not a kind of a googolplex but it does barbarize eel. ; $context$ = sent1: the fact that the Rajput does not barbarize eel and is not a Shawnee is not correct. sent2: if the porphyrin is a provost that the Rajput is a kind of a provost and is not a Shawnee is wrong. sent3: the laver is a provost if the fact that the porphyrin does not barbarize eel and it is not a kind of a Shawnee is not right. sent4: the gallinacean is not a googolplex but it barbarizes eel if the laver barbarizes eel. sent5: if the Rajput is a provost then the laver does group porphyrin. sent6: the fact that the laver is a Shawnee is not wrong. sent7: The bettering does group porphyrin. sent8: if something groups porphyrin it does barbarize eel. sent9: the fact that the laver is not a kind of a provost but it does barbarize eel is not true. sent10: if the fact that the Rajput is not a provost and it is not a Shawnee does not hold the laver does group porphyrin. sent11: the porphyrin does group bettering. sent12: the porphyrin does group porphyrin. sent13: if the porphyrin does group bettering then it is a provost. sent14: the fact that the Rajput is not a provost and it is not a Shawnee is not right if the porphyrin is a provost. ; $proof$ = 
sent13 & sent11 -> int1: that the porphyrin is a provost is right.; int1 & sent14 -> int2: the fact that the Rajput is not a kind of a provost and is not a Shawnee is false.; int2 & sent10 -> int3: the laver groups porphyrin.; sent8 -> int4: the laver barbarizes eel if it groups porphyrin.; int3 & int4 -> int5: the laver barbarizes eel.; int5 & sent4 -> hypothesis; __PROVED__