the fore-and-after does not groove circumstance if the activation curvets grouse.
sent1: there is nothing such that it curvets grouse and does not groove circumstance. sent2: there is something such that that it does curvet grouse hold. sent3: something is not definite and it does not groove circumstance. sent4: the activation is definite if there is something such that it is not a perception and does not sight T-man. sent5: there exists something such that it is a boards. sent6: there is something such that it is not a perception and it does not sight T-man. sent7: the fore-and-after does not groove circumstance if a definite thing curvets grouse.
sent6 & sent4 -> int1: the activation is definite.; void -> assump1: Let's assume that the fact that the activation does curvet grouse is true.; int1 & assump1 -> int2: the activation is definite and it curvets grouse.; int2 -> int3: something is definite and it curvets grouse.; int3 & sent7 -> int4: the fore-and-after does not groove circumstance.; [assump1] & int4 -> hypothesis;
something is a Dijon that sights blind.
sent1 -> int5: that the fore-and-after curvets grouse but it does not groove circumstance is not right.; int5 -> int6: there is something such that that it does curvet grouse and it does not groove circumstance is wrong.;
$hypothesis$ = the fore-and-after does not groove circumstance if the activation curvets grouse. ; $context$ = sent1: there is nothing such that it curvets grouse and does not groove circumstance. sent2: there is something such that that it does curvet grouse hold. sent3: something is not definite and it does not groove circumstance. sent4: the activation is definite if there is something such that it is not a perception and does not sight T-man. sent5: there exists something such that it is a boards. sent6: there is something such that it is not a perception and it does not sight T-man. sent7: the fore-and-after does not groove circumstance if a definite thing curvets grouse. ; $proof$ = 
sent6 & sent4 -> int1: the activation is definite.; void -> assump1: Let's assume that the fact that the activation does curvet grouse is true.; int1 & assump1 -> int2: the activation is definite and it curvets grouse.; int2 -> int3: something is definite and it curvets grouse.; int3 & sent7 -> int4: the fore-and-after does not groove circumstance.; [assump1] & int4 -> hypothesis; __PROVED__