The dog chases the lion. The dog is not big. The dog is kind. The lion does not chase the dog. The lion is kind. The lion is nice. The lion is round. The lion does not need the dog. The lion sees the dog. The lion sees the rabbit. The rabbit chases the dog. The rabbit chases the lion. The rabbit is not nice. The rabbit needs the dog. The rabbit does not see the dog. If something sees the lion then it does not need the dog. If something is big then it is green. If something chases the dog then the dog sees the lion.
The dog does not see the lion.
@0: The dog chases the lion.[(triple1)] The dog is kind.[(triple3)] The dog is not big.[(triple2)] The lion does not chase the dog.[(triple4)] The lion does not need the dog.[(triple8)] The lion is kind.[(triple5)] The lion is nice.[(triple6)] The lion is round.[(triple7)] The lion sees the dog.[(triple9)] The lion sees the rabbit.[(triple10)] The rabbit chases the dog.[(triple11)] The rabbit chases the lion.[(triple12)] The rabbit does not see the dog.[(triple15)] The rabbit is not nice.[(triple13)] The rabbit needs the dog.[(triple14)] @1: The dog sees the lion.[(((triple11) -> rule3))] @2: The dog does not need the dog.[(((((triple11) -> rule3)) -> rule1))]