The bear is nice. The cat eats the tiger. The tiger chases the cat. If someone eats the bear then they like the tiger. If someone eats the tiger then they are kind. If someone chases the cat and the cat likes the tiger then the tiger is rough. If someone is kind and green then they eat the bear. If someone likes the tiger and the tiger is kind then they like the bear. If someone chases the cat then the cat eats the bear.
The bear does not chase the tiger.
@0: The bear is nice.[(triple1)] The cat eats the tiger.[(triple2)] The tiger chases the cat.[(triple3)] @1: The cat eats the bear.[(((triple3) -> rule6))] The cat is kind.[(((triple2) -> rule2))] @2: The cat likes the tiger.[(((((triple3) -> rule6)) -> rule1))] @3: The tiger is rough.[(((triple3 ((((triple3) -> rule6)) -> rule1)) -> rule3))]