the digitigrade repots grazed.
sent1: if the digitigrade circumvallates Tibet then it does repot grazed. sent2: something is a Crex if that it is trigonometric and it is not a quickie is not correct. sent3: the creche is not a quickie. sent4: that the creche is trigonometric a quickie is not correct. sent5: the fact that the creche is not a Crex is not incorrect. sent6: if the creche is a quickie then it is a Crex.
sent2 -> int1: if that the creche is trigonometric and is not a kind of a quickie is false then it is a Crex.; void -> assump1: Let's assume that the fact that the creche is trigonometric thing that is not a quickie is incorrect.; int1 & assump1 -> int2: the creche is a Crex.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the creche is trigonometric but it is not a quickie.; int4 -> int5: the creche is trigonometric.;
$hypothesis$ = the digitigrade repots grazed. ; $context$ = sent1: if the digitigrade circumvallates Tibet then it does repot grazed. sent2: something is a Crex if that it is trigonometric and it is not a quickie is not correct. sent3: the creche is not a quickie. sent4: that the creche is trigonometric a quickie is not correct. sent5: the fact that the creche is not a Crex is not incorrect. sent6: if the creche is a quickie then it is a Crex. ; $proof$ = 
sent2 -> int1: if that the creche is trigonometric and is not a kind of a quickie is false then it is a Crex.; void -> assump1: Let's assume that the fact that the creche is trigonometric thing that is not a quickie is incorrect.; int1 & assump1 -> int2: the creche is a Crex.; int2 & sent5 -> int3: this is contradiction.; [assump1] & int3 -> int4: the creche is trigonometric but it is not a quickie.; int4 -> int5: the creche is trigonometric.; __UNKNOWN__