The cow likes the mouse. The lion likes the rabbit. The mouse is cold. The rabbit eats the lion. If the mouse eats the cow then the cow chases the mouse. If someone likes the rabbit then they are big. If someone chases the rabbit and they are red then the rabbit is nice. If someone chases the mouse then they like the lion. If someone chases the mouse then the mouse eats the cow. If someone is cold then they chase the mouse. If someone is rough then they chase the rabbit. If the cow likes the mouse then the cow likes the lion.
The cow does not like the lion.
@0: The cow likes the mouse.[(triple1)] The lion likes the rabbit.[(triple2)] The mouse is cold.[(triple3)] The rabbit eats the lion.[(triple4)] @1: The cow likes the lion.[(((triple1) -> rule8) OR ((((((((triple3) -> rule6)) -> rule5)) -> rule1)) -> rule4))] The lion is big.[(((triple2) -> rule2))] The mouse chases the mouse.[(((triple3) -> rule6))] @2: The mouse eats the cow.[(((((triple3) -> rule6)) -> rule5))] The mouse likes the lion.[(((((triple3) -> rule6)) -> rule4))] @3: The cow chases the mouse.[(((((((triple3) -> rule6)) -> rule5)) -> rule1))]