The dog is nice. The dog is round. The dog likes the rabbit. The dog needs the tiger. The dog sees the tiger. The lion is big. The lion needs the rabbit. The lion sees the dog. The rabbit likes the dog. The rabbit needs the dog. The tiger likes the dog. The tiger likes the lion. The tiger likes the rabbit. The tiger needs the lion. The tiger sees the rabbit. If something likes the dog then it likes the tiger. If something is round then it likes the rabbit. If the dog needs the lion then the dog is nice. If the rabbit is red and the rabbit needs the lion then the rabbit needs the tiger. If something likes the tiger then the tiger likes the rabbit. If something is nice and it likes the tiger then the tiger needs the lion.
The lion sees the dog.
@0: The dog is nice.[(triple1)] The dog is round.[(triple2)] The dog likes the rabbit.[(triple3 OR ((triple2) -> rule2))] The dog needs the tiger.[(triple4)] The dog sees the tiger.[(triple5)] The lion is big.[(triple6)] The lion needs the rabbit.[(triple7)] The lion sees the dog.[(triple8)] The rabbit likes the dog.[(triple9)] The rabbit needs the dog.[(triple10)] The tiger likes the dog.[(triple11)] The tiger likes the lion.[(triple12)] The tiger likes the rabbit.[(triple13 OR ((((triple11) -> rule1)) -> rule5) OR ((((triple9) -> rule1)) -> rule5))] The tiger needs the lion.[(triple14)] The tiger sees the rabbit.[(triple15)] @1: The rabbit likes the tiger.[(((triple9) -> rule1))] The tiger likes the tiger.[(((triple11) -> rule1))]