The bear chases the tiger. The cat likes the tiger. The dog likes the cat. The tiger needs the cat. If something is blue then it likes the tiger. If something likes the cat then it likes the tiger. If the tiger likes the dog then the dog is red. If something chases the tiger and the tiger needs the cat then the cat needs the bear. If something needs the bear then the bear likes the cat. If something is round then it likes the cat.
The bear likes the cat.
@0: The bear chases the tiger.[(triple1)] The cat likes the tiger.[(triple2)] The dog likes the cat.[(triple3)] The tiger needs the cat.[(triple4)] @1: The cat needs the bear.[(((triple1 triple4) -> rule4))] The dog likes the tiger.[(((triple3) -> rule2))] @2: The bear likes the cat.[(((((triple1 triple4) -> rule4)) -> rule5))] @3: The bear likes the tiger.[(((((((triple1 triple4) -> rule4)) -> rule5)) -> rule2))]