The cow does not see the lion. The lion is red. The mouse needs the cow. If someone is red then they see the lion. If someone needs the cow then the cow is green.
The lion is not red.
@0: The cow does not see the lion.[(triple1)] The lion is red.[(triple2)] The mouse needs the cow.[(triple3)] @1: The cow is green.[(((triple3) -> rule2))] The lion sees the lion.[(((triple2) -> rule1))]