The bear eats the rabbit. The bear is kind. The bear likes the rabbit. The cat likes the bear. The cat likes the rabbit. The rabbit eats the cat. The rabbit is cold. If something eats the bear and the bear eats the rabbit then it likes the cat. If something eats the cat then the cat needs the bear. If something needs the bear then it eats the bear.
The bear does not like the cat.
@0: The bear eats the rabbit.[(triple1)] The bear is kind.[(triple2)] The bear likes the rabbit.[(triple3)] The cat likes the bear.[(triple4)] The cat likes the rabbit.[(triple5)] The rabbit eats the cat.[(triple6)] The rabbit is cold.[(triple7)] @1: The cat needs the bear.[(((triple6) -> rule2))] @2: The cat eats the bear.[(((((triple6) -> rule2)) -> rule3))] @3: The cat likes the cat.[(((((((triple6) -> rule2)) -> rule3) triple1) -> rule1))]