The cow eats the mouse. The cow is big. The cow is kind. The cow likes the mouse. The cow visits the mouse. The mouse eats the cow. The mouse likes the cow. If the mouse eats the cow then the cow eats the mouse. If the cow is blue and the cow eats the mouse then the mouse visits the cow. If the mouse visits the cow and the cow eats the mouse then the mouse is blue. If someone is blue then they like the mouse. If someone visits the mouse and the mouse is cold then they are green. If someone visits the mouse then the mouse visits the cow.
The cow does not eat the cow.
@0: The cow eats the mouse.[(triple1 OR ((triple6) -> rule1))] The cow is big.[(triple2)] The cow is kind.[(triple3)] The cow likes the mouse.[(triple4)] The cow visits the mouse.[(triple5)] The mouse eats the cow.[(triple6)] The mouse likes the cow.[(triple7)] @1: The mouse visits the cow.[(((triple5) -> rule6))] @2: The mouse is blue.[(((((triple5) -> rule6) triple1) -> rule3) OR ((((triple5) -> rule6) ((triple6) -> rule1)) -> rule3))] @3: The mouse likes the mouse.[(((((((triple5) -> rule6) triple1) -> rule3)) -> rule4) OR ((((((triple5) -> rule6) ((triple6) -> rule1)) -> rule3)) -> rule4))]