the amphibole is not cathedral.
sent1: the flatiron does not broil spray if that the vintner quarantines Tyne and it does broil spray does not hold. sent2: the fact that the flatiron does broil spray is right if the grunter is not nutritional. sent3: the amphibole is transcendental and fundamentalist. sent4: if something is a fundamentalist then it is not non-mucinoid. sent5: the fact that the vintner quarantines Tyne and it does broil spray does not hold. sent6: something is a kind of a cathedral and is transcendental if it is not a fundamentalist. sent7: the vintner is nutritional.
sent3 -> int1: the amphibole is fundamentalist.; sent4 -> int2: if the amphibole is fundamentalist it is mucinoid.; int1 & int2 -> int3: the amphibole is mucinoid.; void -> assump1: Let's assume that the amphibole is a cathedral.; int3 & assump1 -> int4: the amphibole is mucinoid and it is a cathedral.; int4 -> int5: there is something such that it is mucinoid and it is cathedral.; sent1 & sent5 -> int6: the flatiron does not broil spray.;
the fact that the amphibole is a cathedral hold.
sent6 -> int7: if the amphibole is not a kind of a fundamentalist it is cathedral and is transcendental.;
$hypothesis$ = the amphibole is not cathedral. ; $context$ = sent1: the flatiron does not broil spray if that the vintner quarantines Tyne and it does broil spray does not hold. sent2: the fact that the flatiron does broil spray is right if the grunter is not nutritional. sent3: the amphibole is transcendental and fundamentalist. sent4: if something is a fundamentalist then it is not non-mucinoid. sent5: the fact that the vintner quarantines Tyne and it does broil spray does not hold. sent6: something is a kind of a cathedral and is transcendental if it is not a fundamentalist. sent7: the vintner is nutritional. ; $proof$ = 
sent3 -> int1: the amphibole is fundamentalist.; sent4 -> int2: if the amphibole is fundamentalist it is mucinoid.; int1 & int2 -> int3: the amphibole is mucinoid.; void -> assump1: Let's assume that the amphibole is a cathedral.; int3 & assump1 -> int4: the amphibole is mucinoid and it is a cathedral.; int4 -> int5: there is something such that it is mucinoid and it is cathedral.; sent1 & sent5 -> int6: the flatiron does not broil spray.; __UNKNOWN__