The bear likes the cow. The cow is nice. If someone sees the bear then they see the cow. If the bear chases the cow then the bear likes the cow. If someone is blue and they like the cow then the cow likes the bear. If someone chases the cow then they see the bear. If the bear chases the cow and the bear likes the cow then the cow is nice. If someone is cold and they like the cow then they like the bear. If someone is blue then they like the cow. If someone likes the cow then they chase the cow.
The bear chases the cow.
@0: The bear likes the cow.[(triple1)] The cow is nice.[(triple2 OR ((((triple1) -> rule8) triple1) -> rule5))] @1: The bear chases the cow.[(((triple1) -> rule8))] @2: The bear sees the bear.[(((((triple1) -> rule8)) -> rule4))] @3: The bear sees the cow.[(((((((triple1) -> rule8)) -> rule4)) -> rule1))]