The cat eats the lion. The cat is blue. The cat visits the lion. The cow is cold. The cow is green. The cow visits the cat. The cow visits the lion. The lion is green. The lion sees the cow. The lion visits the cat. If someone visits the lion then the lion is nice. If someone sees the cat then the cat sees the cow.
The cow does not see the cat.
@0: The cat eats the lion.[(triple1)] The cat is blue.[(triple2)] The cat visits the lion.[(triple3)] The cow is cold.[(triple4)] The cow is green.[(triple5)] The cow visits the cat.[(triple6)] The cow visits the lion.[(triple7)] The lion is green.[(triple8)] The lion sees the cow.[(triple9)] The lion visits the cat.[(triple10)] @1: The lion is nice.[(((triple3) -> rule1) OR ((triple7) -> rule1))]