The bear likes the tiger. The cat sees the bear. The squirrel sees the bear. The tiger sees the cat. If someone is blue and they see the cat then the cat chases the bear. If someone is red and kind then they see the tiger. If the bear sees the cat then the bear sees the squirrel. If someone likes the tiger then the tiger likes the cat. If someone chases the squirrel and they like the cat then they like the tiger. If someone sees the bear then the bear sees the squirrel. If someone is blue and they chase the bear then they see the bear. If someone chases the cat then the cat is red.
The bear chases the tiger.
@0: The bear likes the tiger.[(triple1)] The cat sees the bear.[(triple2)] The squirrel sees the bear.[(triple3)] The tiger sees the cat.[(triple4)] @1: The bear sees the squirrel.[(((triple2) -> rule6) OR ((triple3) -> rule6))] The tiger likes the cat.[(((triple1) -> rule4))]