The dog chases the lion. The dog is not big. The dog is blue. The dog is kind. The dog is not nice. The dog is red. The dog does not see the lion. The dog visits the lion. The lion chases the dog. The lion is not blue. The lion is kind. The lion is not nice. The lion is red. The lion does not see the dog. The lion visits the dog. If the dog is nice then the dog does not see the lion. If something is red and it does not see the dog then it visits the lion. If something is red then it visits the lion. If something is red then it visits the dog. If something visits the lion and it chases the dog then it is not big. If something sees the dog and the dog does not see the lion then the dog visits the lion.
The dog is big.
@0: The dog chases the lion.[(triple1)] The dog does not see the lion.[(triple7)] The dog is blue.[(triple3)] The dog is kind.[(triple4)] The dog is not big.[(triple2)] The dog is not nice.[(triple5)] The dog is red.[(triple6)] The dog visits the lion.[(triple8 OR ((triple6) -> rule3))] The lion chases the dog.[(triple9)] The lion does not see the dog.[(triple14)] The lion is kind.[(triple11)] The lion is not blue.[(triple10)] The lion is not nice.[(triple12)] The lion is red.[(triple13)] The lion visits the dog.[(triple15 OR ((triple13) -> rule4))] @1: The dog visits the dog.[(((triple6) -> rule4))] The lion visits the lion.[(((triple13) -> rule3) OR ((triple13 triple14) -> rule2))] @2: The lion is not big.[(((((triple13) -> rule3) triple9) -> rule5) OR ((((triple13 triple14) -> rule2) triple9) -> rule5))]