The bear is blue. The cat is red. The cow sees the cat. If the bear chases the cow then the cow sees the bear. If someone chases the cow then the cow chases the cat. If the bear sees the cow then the bear is blue. If someone sees the bear then the bear chases the cat. If someone is red then they chase the cow. If someone chases the cow then they see the bear.
The bear chases the cat.
@0: The bear is blue.[(triple1)] The cat is red.[(triple2)] The cow sees the cat.[(triple3)] @1: The cat chases the cow.[(((triple2) -> rule5))] @2: The cat sees the bear.[(((((triple2) -> rule5)) -> rule6))] The cow chases the cat.[(((((triple2) -> rule5)) -> rule2))] @3: The bear chases the cat.[(((((((triple2) -> rule5)) -> rule6)) -> rule4))]