The cow eats the lion. The lion is red. The mouse is green. If someone likes the cow and they do not eat the cow then they do not visit the lion. If someone eats the mouse then the mouse is big. If someone is big then they like the cow. If someone eats the cow then they visit the cow. If someone is red then they eat the mouse. If someone is young and they eat the cow then they like the mouse. If someone eats the cow and the cow visits the mouse then the mouse visits the lion. If someone visits the cow and they are not big then they do not visit the mouse.
The mouse is kind.
@0: The cow eats the lion.[(triple1)] The lion is red.[(triple2)] The mouse is green.[(triple3)] @1: The lion eats the mouse.[(((triple2) -> rule5))] @2: The mouse is big.[(((((triple2) -> rule5)) -> rule2))] @3: The mouse likes the cow.[(((((((triple2) -> rule5)) -> rule2)) -> rule3))]