The bear chases the lion. The cat is nice. The cow is rough. The lion sees the bear. If something is nice then it chases the cow. If the cat is nice and the cat is green then the cat sees the bear. If something chases the cow then the cow sees the cat. If something is big and it chases the bear then it chases the cow. If something sees the cat then it visits the bear. If something chases the cat and the cat sees the cow then the cow is red.
The cat does not chase the cow.
@0: The bear chases the lion.[(triple1)] The cat is nice.[(triple2)] The cow is rough.[(triple3)] The lion sees the bear.[(triple4)] @1: The cat chases the cow.[(((triple2) -> rule1))] @2: The cow sees the cat.[(((((triple2) -> rule1)) -> rule3))] @3: The cow visits the bear.[(((((((triple2) -> rule1)) -> rule3)) -> rule5))]