The dog chases the lion. The dog is not green. The dog is red. The dog is rough. The dog is round. The dog does not need the lion. The dog visits the lion. The lion chases the dog. The lion is green. The lion is red. The lion needs the dog. The lion does not visit the dog. If something visits the lion and the lion does not chase the dog then the lion needs the dog. If something is red then it does not need the lion. If the lion needs the dog then the lion does not visit the dog. If the lion visits the dog then the dog does not chase the lion. If something is round and not green then it is cold. If the lion visits the dog then the dog visits the lion. If something chases the lion and the lion is not rough then it does not visit the lion. If something is cold then it is red.
The lion visits the dog.
@0: The dog chases the lion.[(triple1)] The dog does not need the lion.[(triple6 OR ((triple3) -> rule2) OR ((((((triple5 triple2) -> rule5)) -> rule8)) -> rule2))] The dog is not green.[(triple2)] The dog is red.[(triple3 OR ((((triple5 triple2) -> rule5)) -> rule8))] The dog is rough.[(triple4)] The dog is round.[(triple5)] The dog visits the lion.[(triple7)] The lion chases the dog.[(triple8)] The lion does not visit the dog.[(triple12 OR ((triple11) -> rule3))] The lion is green.[(triple9)] The lion is red.[(triple10)] The lion needs the dog.[(triple11)] @1: The dog is cold.[(((triple5 triple2) -> rule5))] The lion does not need the lion.[(((triple10) -> rule2))]