The lion eats the rabbit. The mouse is nice. The rabbit does not eat the lion. If someone is big then they visit the lion. If someone visits the rabbit then the rabbit is young. All nice people are big. If someone visits the lion then they are red. If someone visits the mouse and the mouse eats the rabbit then the mouse is green. If someone eats the lion then they like the mouse.
The mouse is nice.
@0: The lion eats the rabbit.[(triple1)] The mouse is nice.[(triple2)] The rabbit does not eat the lion.[(triple3)] @1: The mouse is big.[(((triple2) -> rule3))] @2: The mouse visits the lion.[(((((triple2) -> rule3)) -> rule1))] @3: The mouse is red.[(((((((triple2) -> rule3)) -> rule1)) -> rule4))]