The bear is young. The bear likes the cat. The cat is young. If something eats the cat then the cat sees the bear. If the bear is young then the bear likes the cat. If something sees the bear then the bear eats the cat. If something is rough then it sees the bear. If something likes the cat then it sees the bear. If something eats the cat then the cat likes the bear.
The bear is not cold.
@0: The bear is young.[(triple1)] The bear likes the cat.[(triple2 OR ((triple1) -> rule2))] The cat is young.[(triple3)] @1: The bear sees the bear.[(((triple2) -> rule5) OR ((((triple1) -> rule2)) -> rule5))] @2: The bear eats the cat.[(((((triple2) -> rule5)) -> rule3) OR ((((((triple1) -> rule2)) -> rule5)) -> rule3))] @3: The cat likes the bear.[(((((((triple2) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple1) -> rule2)) -> rule5)) -> rule3)) -> rule6))] The cat sees the bear.[(((((((triple2) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple1) -> rule2)) -> rule5)) -> rule3)) -> rule1))]