The dog chases the lion. The dog is blue. The dog is nice. The dog visits the lion. The lion chases the dog. The lion chases the rabbit. The lion is blue. The lion is nice. The lion needs the dog. The lion needs the rabbit. The lion visits the dog. The rabbit is kind. The rabbit is round. The rabbit needs the lion. The rabbit visits the lion. If someone is kind then they need the lion. If the lion needs the dog and the lion is nice then the lion is round. If someone visits the rabbit then the rabbit chases the lion. If someone visits the dog then the dog chases the rabbit. If someone is big and they chase the rabbit then they chase the lion. If someone is big and they chase the dog then the dog is kind. If someone is round and they visit the dog then they are kind. If the dog needs the lion and the dog needs the rabbit then the rabbit chases the lion.
The lion does not need the lion.
@0: The dog chases the lion.[(triple1)] The dog is blue.[(triple2)] The dog is nice.[(triple3)] The dog visits the lion.[(triple4)] The lion chases the dog.[(triple5)] The lion chases the rabbit.[(triple6)] The lion is blue.[(triple7)] The lion is nice.[(triple8)] The lion needs the dog.[(triple9)] The lion needs the rabbit.[(triple10)] The lion visits the dog.[(triple11)] The rabbit is kind.[(triple12)] The rabbit is round.[(triple13)] The rabbit needs the lion.[(triple14 OR ((triple12) -> rule1))] The rabbit visits the lion.[(triple15)] @1: The dog chases the rabbit.[(((triple11) -> rule4))] The lion is round.[(((triple9 triple8) -> rule2))] @2: The lion is kind.[(((((triple9 triple8) -> rule2) triple11) -> rule7))] @3: The lion needs the lion.[(((((((triple9 triple8) -> rule2) triple11) -> rule7)) -> rule1))]