the gavial refrains Scribe.
sent1: if the fact that either something photostats googly or it is not a kind of a myna or both is not true it does not refrain Scribe. sent2: the fact that that the GHB is a endoscopy and not greater is not true if the squinter fiddles is true. sent3: the elixir is hadal. sent4: if something does not photostat Swahili then the fact that it is not annunciatory and it is not aerobics is not true. sent5: the bedfellow is aerobics. sent6: the fact that the gavial is a solid and/or does not smatter does not hold. sent7: the fact that the gavial does photostat googly or is not a kind of a myna or both is false if the bedfellow is aerobics. sent8: the fact that the squinter does fiddle hold. sent9: if there is something such that the fact that it is a endoscopy and is not greater is false then that the elixir is a kind of a circuitry hold.
sent7 & sent5 -> int1: the fact that the gavial does photostat googly and/or it is not a kind of a myna does not hold.; sent1 -> int2: if that the gavial does photostat googly and/or it is not a myna is not correct then it does not refrain Scribe.; int1 & int2 -> hypothesis;
the gavial does refrain Scribe.
sent4 -> int3: if the bedfellow does not photostat Swahili the fact that it is a kind of non-annunciatory thing that is not aerobics does not hold.; sent2 & sent8 -> int4: the fact that the GHB is a endoscopy but it is not greater is incorrect.; int4 -> int5: there is something such that that it is a kind of a endoscopy and it is not greater is not true.; int5 & sent9 -> int6: the elixir is a circuitry.; sent3 & int6 -> int7: the elixir is hadal and a circuitry.; int7 -> int8: something is hadal and it is a kind of a circuitry.;
$hypothesis$ = the gavial refrains Scribe. ; $context$ = sent1: if the fact that either something photostats googly or it is not a kind of a myna or both is not true it does not refrain Scribe. sent2: the fact that that the GHB is a endoscopy and not greater is not true if the squinter fiddles is true. sent3: the elixir is hadal. sent4: if something does not photostat Swahili then the fact that it is not annunciatory and it is not aerobics is not true. sent5: the bedfellow is aerobics. sent6: the fact that the gavial is a solid and/or does not smatter does not hold. sent7: the fact that the gavial does photostat googly or is not a kind of a myna or both is false if the bedfellow is aerobics. sent8: the fact that the squinter does fiddle hold. sent9: if there is something such that the fact that it is a endoscopy and is not greater is false then that the elixir is a kind of a circuitry hold. ; $proof$ = 
sent7 & sent5 -> int1: the fact that the gavial does photostat googly and/or it is not a kind of a myna does not hold.; sent1 -> int2: if that the gavial does photostat googly and/or it is not a myna is not correct then it does not refrain Scribe.; int1 & int2 -> hypothesis; __DISPROVED__