The dog chases the lion. The dog chases the tiger. The dog eats the lion. The dog does not eat the tiger. The dog is not red. The dog is rough. The dog is round. The dog sees the tiger. The lion chases the tiger. The lion eats the dog. The lion is rough. The tiger chases the dog. The tiger eats the dog. The tiger eats the lion. The tiger is red. The tiger sees the lion. If something is round and it sees the tiger then it sees the dog. If something eats the dog then the dog does not see the lion. If the dog eats the lion and the lion chases the dog then the lion does not see the dog. If something sees the dog then the dog sees the tiger. If something chases the tiger and the tiger chases the lion then the lion chases the dog. If something chases the lion then the lion does not eat the tiger. If something is red then it chases the lion. If the lion chases the tiger and the dog does not chase the lion then the dog is kind.
The dog does not eat the dog.
@0: The dog chases the lion.[(triple1)] The dog chases the tiger.[(triple2)] The dog does not eat the tiger.[(triple4)] The dog eats the lion.[(triple3)] The dog is not red.[(triple5)] The dog is rough.[(triple6)] The dog is round.[(triple7)] The dog sees the tiger.[(triple8)] The lion chases the tiger.[(triple9)] The lion eats the dog.[(triple10)] The lion is rough.[(triple11)] The tiger chases the dog.[(triple12)] The tiger eats the dog.[(triple13)] The tiger eats the lion.[(triple14)] The tiger is red.[(triple15)] The tiger sees the lion.[(triple16)] @1: The dog does not see the lion.[(((triple10) -> rule2) OR ((triple13) -> rule2))] The dog sees the dog.[(((triple7 triple8) -> rule1))] The lion does not eat the tiger.[(((triple1) -> rule6) OR ((((triple15) -> rule7)) -> rule6))] The tiger chases the lion.[(((triple15) -> rule7))] @2: The lion chases the dog.[(((triple2 ((triple15) -> rule7)) -> rule5) OR ((triple9 ((triple15) -> rule7)) -> rule5))] @3: The lion does not see the dog.[(((triple3 ((triple2 ((triple15) -> rule7)) -> rule5)) -> rule3) OR ((triple3 ((triple9 ((triple15) -> rule7)) -> rule5)) -> rule3))]