The cow likes the mouse. The cow likes the rabbit. The cow visits the mouse. The cow visits the rabbit. The mouse chases the rabbit. The mouse is red. The mouse likes the cow. The mouse visits the rabbit. The rabbit visits the cow. The rabbit visits the mouse. If someone visits the rabbit then they are big. If the cow is nice and the cow is kind then the cow likes the mouse. If the cow visits the mouse then the cow is blue. If someone is red and they like the mouse then they visit the cow. If someone is big then they chase the cow. If someone chases the cow and the cow likes the mouse then they visit the mouse.
The cow visits the cow.
@0: The cow likes the mouse.[(triple1)] The cow likes the rabbit.[(triple2)] The cow visits the mouse.[(triple3 OR ((((((triple4) -> rule1)) -> rule5) triple1) -> rule6))] The cow visits the rabbit.[(triple4)] The mouse chases the rabbit.[(triple5)] The mouse is red.[(triple6)] The mouse likes the cow.[(triple7)] The mouse visits the rabbit.[(triple8)] The rabbit visits the cow.[(triple9)] The rabbit visits the mouse.[(triple10)] @1: The cow is big.[(((triple4) -> rule1))] The cow is blue.[(((triple3) -> rule3) OR ((((((((triple4) -> rule1)) -> rule5) triple1) -> rule6)) -> rule3))] The mouse is big.[(((triple8) -> rule1))] @2: The cow chases the cow.[(((((triple4) -> rule1)) -> rule5))] The mouse chases the cow.[(((((triple8) -> rule1)) -> rule5))] @3: The mouse visits the mouse.[(((((((triple8) -> rule1)) -> rule5) triple1) -> rule6))]