The cow is blue. The cow visits the lion. The lion does not need the cow. If something is nice then it needs the lion. All big things are nice. If something is red then it does not eat the cow. If the cow visits the lion then the cow needs the lion. If something eats the lion and the lion is not big then it visits the lion. If something eats the lion then the lion is green. If the cow needs the lion then the cow eats the lion. If the cow is not nice and the cow is not red then the cow does not eat the lion.
The cow is not nice.
@0: The cow is blue.[(triple1)] The cow visits the lion.[(triple2)] The lion does not need the cow.[(triple3)] @1: The cow needs the lion.[(((triple2) -> rule4))] @2: The cow eats the lion.[(((((triple2) -> rule4)) -> rule7))] @3: The lion is green.[(((((((triple2) -> rule4)) -> rule7)) -> rule6))]