The cat is nice. The mouse is round. The rabbit is kind. If someone eats the mouse then the mouse eats the cat. All kind people are nice. If someone eats the rabbit then they visit the rabbit. If someone is kind and nice then they eat the mouse. If someone likes the mouse then the mouse eats the rabbit. All kind people are big.
The rabbit does not eat the mouse.
@0: The cat is nice.[(triple1)] The mouse is round.[(triple2)] The rabbit is kind.[(triple3)] @1: The rabbit is big.[(((triple3) -> rule6))] The rabbit is nice.[(((triple3) -> rule2))] @2: The rabbit eats the mouse.[(((triple3 ((triple3) -> rule2)) -> rule4))] @3: The mouse eats the cat.[(((((triple3 ((triple3) -> rule2)) -> rule4)) -> rule1))]