the creature does not scram and it does not premise Valerianella.
sent1: if something is not a subnormality then it does not premise Valerianella. sent2: either the Friesian does clangor lamb-chop or it does not misbehave or both if there is something such that it does obey cone. sent3: something does not scram and it does not premise Valerianella if it is not a subnormality. sent4: The cone obeys lamb-chop. sent5: the lamb-chop obeys cone. sent6: the fact that something does not scram and does not premise Valerianella is incorrect if that it does not obey cone hold.
sent5 -> int1: there is something such that that it obeys cone is not false.; int1 & sent2 -> int2: the Friesian clangors lamb-chop and/or does not misbehave.; int2 -> int3: there is something such that it does clangor lamb-chop and/or does not misbehave.; sent3 -> int4: the creature does not scram and does not premise Valerianella if it is not a kind of a subnormality.;
that the creature does not scram and it does not premise Valerianella is not true.
sent6 -> int5: the fact that the creature does not scram and does not premise Valerianella is false if it does not obey cone.;
$hypothesis$ = the creature does not scram and it does not premise Valerianella. ; $context$ = sent1: if something is not a subnormality then it does not premise Valerianella. sent2: either the Friesian does clangor lamb-chop or it does not misbehave or both if there is something such that it does obey cone. sent3: something does not scram and it does not premise Valerianella if it is not a subnormality. sent4: The cone obeys lamb-chop. sent5: the lamb-chop obeys cone. sent6: the fact that something does not scram and does not premise Valerianella is incorrect if that it does not obey cone hold. ; $proof$ = 
sent5 -> int1: there is something such that that it obeys cone is not false.; int1 & sent2 -> int2: the Friesian clangors lamb-chop and/or does not misbehave.; int2 -> int3: there is something such that it does clangor lamb-chop and/or does not misbehave.; sent3 -> int4: the creature does not scram and does not premise Valerianella if it is not a kind of a subnormality.; __UNKNOWN__