The bear eats the cat. The bear is round. The cat is green. The cat is nice. The cat likes the bear. The lion eats the bear. The lion is round. If someone likes the bear then the bear likes the lion. If the bear likes the lion and the bear is round then the lion needs the cat. If someone needs the cat then the cat eats the bear.
The bear does not like the lion.
@0: The bear eats the cat.[(triple1)] The bear is round.[(triple2)] The cat is green.[(triple3)] The cat is nice.[(triple4)] The cat likes the bear.[(triple5)] The lion eats the bear.[(triple6)] The lion is round.[(triple7)] @1: The bear likes the lion.[(((triple5) -> rule1))] @2: The lion needs the cat.[(((((triple5) -> rule1) triple2) -> rule2))] @3: The cat eats the bear.[(((((((triple5) -> rule1) triple2) -> rule2)) -> rule3))]