that if the fountain is not a checkerbloom the grunter is not a kind of a passport does not hold.
sent1: the fact that something is not non-avian and it is a kind of a prince's-feather is false if it is not a kind of a checkerbloom. sent2: the grunter is not a kind of a passport if the fact that the fountain is not non-avian and is a prince's-feather is not right.
sent1 -> int1: that the fountain is avian and it is a prince's-feather does not hold if it is not a kind of a checkerbloom.; void -> assump1: Let's assume that the fountain is not a kind of a checkerbloom.; int1 & assump1 -> int2: the fact that that the fountain is a kind of avian a prince's-feather is not right is correct.; sent2 & int2 -> int3: the grunter is not a passport.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that if the fountain is not a checkerbloom the grunter is not a kind of a passport does not hold. ; $context$ = sent1: the fact that something is not non-avian and it is a kind of a prince's-feather is false if it is not a kind of a checkerbloom. sent2: the grunter is not a kind of a passport if the fact that the fountain is not non-avian and is a prince's-feather is not right. ; $proof$ = 
sent1 -> int1: that the fountain is avian and it is a prince's-feather does not hold if it is not a kind of a checkerbloom.; void -> assump1: Let's assume that the fountain is not a kind of a checkerbloom.; int1 & assump1 -> int2: the fact that that the fountain is a kind of avian a prince's-feather is not right is correct.; sent2 & int2 -> int3: the grunter is not a passport.; [assump1] & int3 -> hypothesis; __DISPROVED__