The cow sees the dog. The dog likes the cow. The dog sees the cow. If something is green and big then it likes the dog. If something chases the dog and it sees the dog then it chases the cow. If something chases the cow then it is green. If something likes the dog and the dog likes the cow then it is rough. If something sees the dog then the dog likes the cow. If something likes the dog then it chases the dog. If something sees the dog then it is not big. If the dog sees the cow then the cow likes the dog.
The cow chases the dog.
@0: The cow sees the dog.[(triple1)] The dog likes the cow.[(triple2 OR ((triple1) -> rule5))] The dog sees the cow.[(triple3)] @1: The cow is not big.[(((triple1) -> rule7))] The cow likes the dog.[(((triple3) -> rule8))] @2: The cow chases the dog.[(((((triple3) -> rule8)) -> rule6))] The cow is rough.[(((((triple3) -> rule8) triple2) -> rule4) OR ((((triple3) -> rule8) ((triple1) -> rule5)) -> rule4))] @3: The cow chases the cow.[(((((((triple3) -> rule8)) -> rule6) triple1) -> rule2))] @4: The cow is green.[(((((((((triple3) -> rule8)) -> rule6) triple1) -> rule2)) -> rule3))]