The bear is green. The cat chases the bear. If something is red then it chases the cat. If something chases the bear then it is red. If something is kind and it chases the cat then the cat is big. If something is green and it sees the cat then the cat sees the bear. If the bear is big and the bear sees the cat then the bear chases the cat. If something chases the cat then the cat sees the bear.
The cat is not big.
@0: The bear is green.[(triple1)] The cat chases the bear.[(triple2)] @1: The cat is red.[(((triple2) -> rule2))] @2: The cat chases the cat.[(((((triple2) -> rule2)) -> rule1))] @3: The cat sees the bear.[(((((((triple2) -> rule2)) -> rule1)) -> rule6))]