The cow chases the lion. The cow eats the mouse. The cow is not cold. The cow needs the mouse. The lion chases the mouse. The lion is rough. The lion needs the mouse. The mouse does not chase the lion. The mouse eats the lion. The mouse needs the cow. If something needs the cow and it is cold then the cow chases the mouse. If something needs the mouse and the mouse is red then the mouse is cold. If something needs the cow and the cow eats the mouse then the mouse is cold. If something is cold and it needs the cow then the cow is rough. If something is blue then it eats the mouse. If something needs the lion then it does not eat the mouse. If something is rough and it chases the lion then the lion is round. If the mouse chases the lion and the mouse needs the cow then the lion needs the mouse.
The mouse does not eat the cow.
@0: The cow chases the lion.[(triple1)] The cow eats the mouse.[(triple2)] The cow is not cold.[(triple3)] The cow needs the mouse.[(triple4)] The lion chases the mouse.[(triple5)] The lion is rough.[(triple6)] The lion needs the mouse.[(triple7)] The mouse does not chase the lion.[(triple8)] The mouse eats the lion.[(triple9)] The mouse needs the cow.[(triple10)] @1: The mouse is cold.[(((triple10 triple2) -> rule3))] @2: The cow chases the mouse.[(((triple10 ((triple10 triple2) -> rule3)) -> rule1))] The cow is rough.[(((((triple10 triple2) -> rule3) triple10) -> rule4))] @3: The lion is round.[(((((((triple10 triple2) -> rule3) triple10) -> rule4) triple1) -> rule7))]