The cow is big. The cow sees the lion. The lion is round. If something chases the cow then it chases the lion. If something chases the lion and the lion is round then it likes the cow. If the cow likes the lion and the cow chases the lion then the lion is nice. If something sees the cow then the cow chases the lion. If something is red and it chases the lion then it sees the cow. If something sees the lion and it is big then it sees the cow. If something is round and it sees the cow then the cow sees the lion. If something is green then it likes the lion.
The cow does not like the cow.
@0: The cow is big.[(triple1)] The cow sees the lion.[(triple2)] The lion is round.[(triple3)] @1: The cow sees the cow.[(((triple2 triple1) -> rule6))] @2: The cow chases the lion.[(((((triple2 triple1) -> rule6)) -> rule4))] @3: The cow likes the cow.[(((((((triple2 triple1) -> rule6)) -> rule4) triple3) -> rule2))]