The dog is nice. The dog is red. The dog likes the lion. The dog likes the rabbit. The dog needs the lion. The dog needs the rabbit. The dog sees the lion. The lion does not need the rabbit. The rabbit is not young. The rabbit likes the dog. The rabbit sees the dog. The rabbit does not see the lion. If the rabbit is nice then the rabbit sees the lion. If the lion is round then the lion does not like the dog. If something is red and it likes the dog then the dog is nice. If something likes the rabbit then it is not young. If the rabbit is nice and the rabbit does not like the dog then the dog does not see the lion. If something sees the lion then it needs the rabbit. If something sees the dog and it sees the lion then it sees the rabbit. If the lion needs the dog and the lion does not need the rabbit then the rabbit sees the dog.
The rabbit does not see the rabbit.
@0: The dog is nice.[(triple1)] The dog is red.[(triple2)] The dog likes the lion.[(triple3)] The dog likes the rabbit.[(triple4)] The dog needs the lion.[(triple5)] The dog needs the rabbit.[(triple6 OR ((triple7) -> rule6))] The dog sees the lion.[(triple7)] The lion does not need the rabbit.[(triple8)] The rabbit does not see the lion.[(triple12)] The rabbit is not young.[(triple9)] The rabbit likes the dog.[(triple10)] The rabbit sees the dog.[(triple11)] @1: The dog is not young.[(((triple4) -> rule4))]