The cow is not kind. The lion likes the cow. The rabbit likes the lion. If something needs the lion then the lion is round. If something likes the cow then the cow is blue. If something needs the cow and it sees the cow then it is kind. If something is round then it sees the lion. If something likes the lion and the lion likes the rabbit then it needs the lion. If something is blue then it needs the lion. If something sees the rabbit then the rabbit needs the cow. If something is rough and it does not see the lion then the lion is not young.
The cow needs the lion.
@0: The cow is not kind.[(triple1)] The lion likes the cow.[(triple2)] The rabbit likes the lion.[(triple3)] @1: The cow is blue.[(((triple2) -> rule2))] @2: The cow needs the lion.[(((((triple2) -> rule2)) -> rule6))] @3: The lion is round.[(((((((triple2) -> rule2)) -> rule6)) -> rule1))] @4: The lion sees the lion.[(((((((((triple2) -> rule2)) -> rule6)) -> rule1)) -> rule4))]