that the silly does not admit and/or it is not an egg does not hold.
sent1: if something does tout shanghaier but it is not eonian it does not admit. sent2: if the shanghaier is not a spiffing the silly is a kind of a spiffing and/or is not an egg. sent3: if something is orthoptic and touts shanghaier it is not enthusiastic. sent4: the shanghaier is orthoptic and/or it does not admit. sent5: the shanghaier is Leonardesque if the trapshooter is enthusiastic. sent6: the trapshooter is enthusiastic and it is a papier-mache. sent7: a Leonardesque thing that is a spiffing is not an egg. sent8: if something is not non-Leonardesque but orthoptic then it is not a kind of a reviewer. sent9: the shanghaier is orthoptic if it is a spiffing. sent10: the shaggymane touts shanghaier and is not eonian if the shanghaier is not a kind of a reviewer. sent11: the silly is orthoptic. sent12: something is a spiffing if the fact that it is viatical hold. sent13: the silly either does not admit or is not an egg or both if the shaggymane does not admit. sent14: the shanghaier is Leonardesque and/or it is not eonian. sent15: the shanghaier is a spiffing.
sent6 -> int1: the trapshooter is enthusiastic.; int1 & sent5 -> int2: the shanghaier is Leonardesque.; sent9 & sent15 -> int3: the shanghaier is orthoptic.; int2 & int3 -> int4: the shanghaier is Leonardesque and it is orthoptic.; sent8 -> int5: if the shanghaier is Leonardesque and it is orthoptic then it does not review.; int4 & int5 -> int6: the shanghaier does not review.; int6 & sent10 -> int7: the shaggymane touts shanghaier and is not eonian.; sent1 -> int8: the shaggymane does not admit if it touts shanghaier and is not eonian.; int7 & int8 -> int9: the shaggymane does not admit.; int9 & sent13 -> hypothesis;
the minaret is a spiffing if it is viatical.
sent12 -> hypothesis;
$hypothesis$ = that the silly does not admit and/or it is not an egg does not hold. ; $context$ = sent1: if something does tout shanghaier but it is not eonian it does not admit. sent2: if the shanghaier is not a spiffing the silly is a kind of a spiffing and/or is not an egg. sent3: if something is orthoptic and touts shanghaier it is not enthusiastic. sent4: the shanghaier is orthoptic and/or it does not admit. sent5: the shanghaier is Leonardesque if the trapshooter is enthusiastic. sent6: the trapshooter is enthusiastic and it is a papier-mache. sent7: a Leonardesque thing that is a spiffing is not an egg. sent8: if something is not non-Leonardesque but orthoptic then it is not a kind of a reviewer. sent9: the shanghaier is orthoptic if it is a spiffing. sent10: the shaggymane touts shanghaier and is not eonian if the shanghaier is not a kind of a reviewer. sent11: the silly is orthoptic. sent12: something is a spiffing if the fact that it is viatical hold. sent13: the silly either does not admit or is not an egg or both if the shaggymane does not admit. sent14: the shanghaier is Leonardesque and/or it is not eonian. sent15: the shanghaier is a spiffing. ; $proof$ = 
sent6 -> int1: the trapshooter is enthusiastic.; int1 & sent5 -> int2: the shanghaier is Leonardesque.; sent9 & sent15 -> int3: the shanghaier is orthoptic.; int2 & int3 -> int4: the shanghaier is Leonardesque and it is orthoptic.; sent8 -> int5: if the shanghaier is Leonardesque and it is orthoptic then it does not review.; int4 & int5 -> int6: the shanghaier does not review.; int6 & sent10 -> int7: the shaggymane touts shanghaier and is not eonian.; sent1 -> int8: the shaggymane does not admit if it touts shanghaier and is not eonian.; int7 & int8 -> int9: the shaggymane does not admit.; int9 & sent13 -> hypothesis; __DISPROVED__