The dog likes the lion. The dog likes the rabbit. The dog likes the tiger. The dog sees the tiger. The lion needs the dog. The lion needs the rabbit. The lion needs the tiger. The lion does not see the rabbit. The lion sees the tiger. The rabbit is green. The rabbit does not like the lion. The tiger is not young. If something likes the dog then it sees the lion. If something likes the lion then it needs the rabbit. If something likes the lion then the lion likes the dog. If something needs the dog and it is green then it likes the lion. If something needs the dog then it sees the tiger. If the rabbit does not like the dog then the rabbit needs the dog. If something needs the dog then the dog needs the tiger. If something is rough and it does not need the tiger then the tiger sees the lion.
The rabbit is green.
@0: The dog likes the lion.[(triple1)] The dog likes the rabbit.[(triple2)] The dog likes the tiger.[(triple3)] The dog sees the tiger.[(triple4)] The lion does not see the rabbit.[(triple8)] The lion needs the dog.[(triple5)] The lion needs the rabbit.[(triple6)] The lion needs the tiger.[(triple7)] The lion sees the tiger.[(triple9 OR ((triple5) -> rule5))] The rabbit does not like the lion.[(triple11)] The rabbit is green.[(triple10)] The tiger is not young.[(triple12)] @1: The dog needs the rabbit.[(((triple1) -> rule2))] The dog needs the tiger.[(((triple5) -> rule7))] The lion likes the dog.[(((triple1) -> rule3))] @2: The lion sees the lion.[(((((triple1) -> rule3)) -> rule1))]