The cow sees the lion. The lion is not big. If someone needs the cow and the cow is big then the cow is nice. If someone is blue then they are big. If someone sees the lion then the lion is nice. If the lion is blue and the lion is big then the lion likes the cow. If someone needs the lion then they do not like the lion. If someone is nice then they need the lion. If the cow is cold and the cow is not blue then the cow is not big. If the lion is cold and the lion is not nice then the lion sees the cow.
The cow likes the lion.
@0: The cow sees the lion.[(triple1)] The lion is not big.[(triple2)] @1: The lion is nice.[(((triple1) -> rule3))] @2: The lion needs the lion.[(((((triple1) -> rule3)) -> rule6))] @3: The lion does not like the lion.[(((((((triple1) -> rule3)) -> rule6)) -> rule5))]