The dog eats the lion. The dog is red. The dog is rough. The dog is young. The dog likes the lion. The dog sees the lion. The lion does not eat the dog. The lion is rough. The lion likes the dog. The lion sees the dog. If something likes the dog then the dog sees the lion. If the dog likes the lion and the dog is not young then the lion does not see the dog. If something likes the dog then it sees the lion. If something likes the lion then the lion likes the dog. If something is green and it sees the lion then the lion eats the dog. If the dog is green then the dog does not like the lion.
The dog is green.
@0: The dog eats the lion.[(triple1)] The dog is red.[(triple2)] The dog is rough.[(triple3)] The dog is young.[(triple4)] The dog likes the lion.[(triple5)] The dog sees the lion.[(triple6 OR ((triple9) -> rule1) OR ((((triple5) -> rule4)) -> rule1))] The lion does not eat the dog.[(triple7)] The lion is rough.[(triple8)] The lion likes the dog.[(triple9 OR ((triple5) -> rule4))] The lion sees the dog.[(triple10)] @1: The lion sees the lion.[(((triple9) -> rule3) OR ((((triple5) -> rule4)) -> rule3))]