The bear needs the tiger. The cat is round. The squirrel needs the tiger. The tiger likes the squirrel. If someone likes the bear then the bear likes the cat. If someone needs the cat then they like the bear. If someone needs the tiger then the tiger needs the cat.
The tiger needs the cat.
@0: The bear needs the tiger.[(triple1)] The cat is round.[(triple2)] The squirrel needs the tiger.[(triple3)] The tiger likes the squirrel.[(triple4)] @1: The tiger needs the cat.[(((triple1) -> rule3) OR ((triple3) -> rule3))] @2: The tiger likes the bear.[(((((triple1) -> rule3)) -> rule2) OR ((((triple3) -> rule3)) -> rule2))] @3: The bear likes the cat.[(((((((triple1) -> rule3)) -> rule2)) -> rule1) OR ((((((triple3) -> rule3)) -> rule2)) -> rule1))]