the airport is not fibrinous.
sent1: if that the fact that something is a homospory and coheres monkshood is not false is wrong then it is not a kind of a Spode. sent2: the Pernod is biosynthetic if the airport is biosynthetic. sent3: something is both not a Spode and not fibrinous if it is not biosynthetic. sent4: there exists nothing such that it is a kind of a homospory and coheres monkshood. sent5: that the airport is not postmeridian is not false if the fact that the balminess is biosynthetic and does not cohere flush is not correct. sent6: if something is not a Spode then that it is biosynthetic and it does not cohere flush is wrong. sent7: something is fibrinous if it is not postmeridian.
sent4 -> int1: the fact that the balminess is a homospory and it does cohere monkshood is not right.; sent1 -> int2: that the balminess is not a Spode is true if the fact that it is a homospory and does cohere monkshood is not correct.; int1 & int2 -> int3: the balminess is not a Spode.; sent6 -> int4: the fact that the balminess is biosynthetic but it does not cohere flush does not hold if it is not a kind of a Spode.; int3 & int4 -> int5: the fact that the balminess is biosynthetic and does not cohere flush is not correct.; int5 & sent5 -> int6: the airport is non-postmeridian.; sent7 -> int7: if the airport is not postmeridian it is fibrinous.; int6 & int7 -> hypothesis;
the airport is not fibrinous.
sent3 -> int8: the airport is not a kind of a Spode and it is not fibrinous if it is not biosynthetic.;
$hypothesis$ = the airport is not fibrinous. ; $context$ = sent1: if that the fact that something is a homospory and coheres monkshood is not false is wrong then it is not a kind of a Spode. sent2: the Pernod is biosynthetic if the airport is biosynthetic. sent3: something is both not a Spode and not fibrinous if it is not biosynthetic. sent4: there exists nothing such that it is a kind of a homospory and coheres monkshood. sent5: that the airport is not postmeridian is not false if the fact that the balminess is biosynthetic and does not cohere flush is not correct. sent6: if something is not a Spode then that it is biosynthetic and it does not cohere flush is wrong. sent7: something is fibrinous if it is not postmeridian. ; $proof$ = 
sent4 -> int1: the fact that the balminess is a homospory and it does cohere monkshood is not right.; sent1 -> int2: that the balminess is not a Spode is true if the fact that it is a homospory and does cohere monkshood is not correct.; int1 & int2 -> int3: the balminess is not a Spode.; sent6 -> int4: the fact that the balminess is biosynthetic but it does not cohere flush does not hold if it is not a kind of a Spode.; int3 & int4 -> int5: the fact that the balminess is biosynthetic and does not cohere flush is not correct.; int5 & sent5 -> int6: the airport is non-postmeridian.; sent7 -> int7: if the airport is not postmeridian it is fibrinous.; int6 & int7 -> hypothesis; __DISPROVED__