The bear eats the cat. The bear likes the cat. The cat eats the bear. If something likes the bear and it sees the cat then it likes the cat. If something likes the bear and it eats the bear then it likes the cat. If something likes the cat then it sees the cat. If something likes the bear then it is not green. If something sees the cat then the cat likes the bear. If something sees the cat and it does not like the cat then the cat is nice.
The bear eats the cat.
@0: The bear eats the cat.[(triple1)] The bear likes the cat.[(triple2)] The cat eats the bear.[(triple3)] @1: The bear sees the cat.[(((triple2) -> rule3))] @2: The cat likes the bear.[(((((triple2) -> rule3)) -> rule5))] @3: The cat is not green.[(((((((triple2) -> rule3)) -> rule5)) -> rule4))] The cat likes the cat.[(((((((triple2) -> rule3)) -> rule5) triple3) -> rule2))] @4: The cat sees the cat.[(((((((((triple2) -> rule3)) -> rule5) triple3) -> rule2)) -> rule3))]