the Gladstone is not a book.
sent1: the Gladstone does crochet shuffleboard. sent2: if something retains then it is ultimate. sent3: something does retain if it is not a kind of a mestiza and it is a trichromacy. sent4: an ultimate books. sent5: if the Gladstone does crochet shuffleboard then it is not a kind of a mestiza and is a trichromacy. sent6: The shuffleboard does crochet Gladstone.
sent3 -> int1: if that the Gladstone is not a kind of a mestiza but it is a trichromacy is true it does retain.; sent5 & sent1 -> int2: the Gladstone is not a mestiza but it is a kind of a trichromacy.; int1 & int2 -> int3: the Gladstone retains.; sent2 -> int4: if the Gladstone does retain then it is ultimate.; int3 & int4 -> int5: the Gladstone is an ultimate.; sent4 -> int6: if the Gladstone is a kind of an ultimate it is a kind of a book.; int5 & int6 -> hypothesis;
$hypothesis$ = the Gladstone is not a book. ; $context$ = sent1: the Gladstone does crochet shuffleboard. sent2: if something retains then it is ultimate. sent3: something does retain if it is not a kind of a mestiza and it is a trichromacy. sent4: an ultimate books. sent5: if the Gladstone does crochet shuffleboard then it is not a kind of a mestiza and is a trichromacy. sent6: The shuffleboard does crochet Gladstone. ; $proof$ = 
sent3 -> int1: if that the Gladstone is not a kind of a mestiza but it is a trichromacy is true it does retain.; sent5 & sent1 -> int2: the Gladstone is not a mestiza but it is a kind of a trichromacy.; int1 & int2 -> int3: the Gladstone retains.; sent2 -> int4: if the Gladstone does retain then it is ultimate.; int3 & int4 -> int5: the Gladstone is an ultimate.; sent4 -> int6: if the Gladstone is a kind of an ultimate it is a kind of a book.; int5 & int6 -> hypothesis; __DISPROVED__