The bear is young. The cat sees the bear. The mouse eats the rabbit. The rabbit is round. If something is young and it visits the cat then it eats the bear. If something sees the bear then the bear eats the mouse. If something eats the mouse then the mouse is kind. If something visits the bear then it sees the cat. If something is kind then it eats the cat. If something is rough then it eats the cat.
The mouse does not eat the bear.
@0: The bear is young.[(triple1)] The cat sees the bear.[(triple2)] The mouse eats the rabbit.[(triple3)] The rabbit is round.[(triple4)] @1: The bear eats the mouse.[(((triple2) -> rule2))] @2: The mouse is kind.[(((((triple2) -> rule2)) -> rule3))] @3: The mouse eats the cat.[(((((((triple2) -> rule2)) -> rule3)) -> rule5))]