The dog eats the lion. The dog is blue. The dog is green. The dog is rough. The dog is round. The dog does not see the lion. The lion eats the dog. The lion is blue. The lion is green. The lion sees the dog. If something eats the dog then it chases the lion. If something sees the dog then it is green.
The lion sees the dog.
@0: The dog does not see the lion.[(triple6)] The dog eats the lion.[(triple1)] The dog is blue.[(triple2)] The dog is green.[(triple3)] The dog is rough.[(triple4)] The dog is round.[(triple5)] The lion eats the dog.[(triple7)] The lion is blue.[(triple8)] The lion is green.[(triple9 OR ((triple10) -> rule2))] The lion sees the dog.[(triple10)] @1: The lion chases the lion.[(((triple7) -> rule1))]