The cow chases the lion. The cow is kind. The lion likes the cow. If something is red then it is young. If the cow is red and the cow is blue then the cow likes the lion. If the lion chases the cow then the cow chases the lion. If something chases the lion and it is kind then it is red. If the cow needs the lion then the cow chases the lion. If something is young and kind then it chases the cow.
The lion is not red.
@0: The cow chases the lion.[(triple1)] The cow is kind.[(triple2)] The lion likes the cow.[(triple3)] @1: The cow is red.[(((triple1 triple2) -> rule4))] @2: The cow is young.[(((((triple1 triple2) -> rule4)) -> rule1))] @3: The cow chases the cow.[(((((((triple1 triple2) -> rule4)) -> rule1) triple2) -> rule6))]