The cow is big. The cow is red. The lion is nice. Nice things are red. If something is red then it likes the lion. If something is nice then it is young. If the lion chases the cow and the lion needs the cow then the cow likes the lion. If something chases the lion and the lion likes the cow then the cow is nice. If something is kind and it chases the cow then it chases the lion.
The lion needs the lion.
@0: The cow is big.[(triple1)] The cow is red.[(triple2)] The lion is nice.[(triple3)] @1: The cow likes the lion.[(((triple2) -> rule2))] The lion is red.[(((triple3) -> rule1))] The lion is young.[(((triple3) -> rule3))] @2: The lion likes the lion.[(((((triple3) -> rule1)) -> rule2))]