The cow is blue. The cow is red. The cow is rough. The lion eats the mouse. The lion is rough. The lion visits the cow. The lion visits the mouse. The mouse eats the cow. The mouse is blue. The mouse is rough. If the mouse visits the cow and the mouse visits the lion then the lion visits the mouse. If something is cold then it chases the mouse. If the cow is rough then the cow visits the mouse. If something chases the lion and the lion is red then the lion is cold. If the mouse is red and the mouse eats the cow then the mouse is kind. If something is blue then it eats the mouse.
The cow is red.
@0: The cow is blue.[(triple1)] The cow is red.[(triple2)] The cow is rough.[(triple3)] The lion eats the mouse.[(triple4)] The lion is rough.[(triple5)] The lion visits the cow.[(triple6)] The lion visits the mouse.[(triple7)] The mouse eats the cow.[(triple8)] The mouse is blue.[(triple9)] The mouse is rough.[(triple10)] @1: The cow eats the mouse.[(((triple1) -> rule6))] The cow visits the mouse.[(((triple3) -> rule3))] The mouse eats the mouse.[(((triple9) -> rule6))]