the rapeseed is an awe.
sent1: if the tomalley does prime and it is a prelacy then the rapeseed is not an awe. sent2: the tomalley is a prelacy. sent3: if the tomalley does awe the rapeseed is a kind of an awe. sent4: the tomalley primes. sent5: if the fact that the puff is not semiotics hold it defrays puff and it is scorbutic.
sent4 & sent2 -> int1: the tomalley is prime and it is a prelacy.; sent1 & int1 -> hypothesis;
the rapeseed is a kind of an awe.
$hypothesis$ = the rapeseed is an awe. ; $context$ = sent1: if the tomalley does prime and it is a prelacy then the rapeseed is not an awe. sent2: the tomalley is a prelacy. sent3: if the tomalley does awe the rapeseed is a kind of an awe. sent4: the tomalley primes. sent5: if the fact that the puff is not semiotics hold it defrays puff and it is scorbutic. ; $proof$ = 
sent4 & sent2 -> int1: the tomalley is prime and it is a prelacy.; sent1 & int1 -> hypothesis; __DISPROVED__