the vermouth is not chordal.
sent1: if something does pique zoolatry it is a man-on-a-horse. sent2: something is chordal if it does pique Sousse. sent3: the Stein does pique zoolatry and it is an immunologist. sent4: the clearway is nonarboreal if the Stein is a kind of a man-on-a-horse. sent5: the vermouth does pique Sousse if that the clearway is nonarboreal is true. sent6: if the clearway is a man-on-a-horse it is nonarboreal.
sent3 -> int1: the Stein does pique zoolatry.; sent1 -> int2: the Stein is a man-on-a-horse if it does pique zoolatry.; int1 & int2 -> int3: the Stein is a kind of a man-on-a-horse.; int3 & sent4 -> int4: the clearway is nonarboreal.; int4 & sent5 -> int5: the vermouth piques Sousse.; sent2 -> int6: the vermouth is chordal if it piques Sousse.; int5 & int6 -> hypothesis;
$hypothesis$ = the vermouth is not chordal. ; $context$ = sent1: if something does pique zoolatry it is a man-on-a-horse. sent2: something is chordal if it does pique Sousse. sent3: the Stein does pique zoolatry and it is an immunologist. sent4: the clearway is nonarboreal if the Stein is a kind of a man-on-a-horse. sent5: the vermouth does pique Sousse if that the clearway is nonarboreal is true. sent6: if the clearway is a man-on-a-horse it is nonarboreal. ; $proof$ = 
sent3 -> int1: the Stein does pique zoolatry.; sent1 -> int2: the Stein is a man-on-a-horse if it does pique zoolatry.; int1 & int2 -> int3: the Stein is a kind of a man-on-a-horse.; int3 & sent4 -> int4: the clearway is nonarboreal.; int4 & sent5 -> int5: the vermouth piques Sousse.; sent2 -> int6: the vermouth is chordal if it piques Sousse.; int5 & int6 -> hypothesis; __DISPROVED__