The dog eats the rabbit. The dog is kind. The dog is young. The dog visits the lion. The dog visits the rabbit. The dog visits the tiger. The lion eats the rabbit. The lion is blue. The lion sees the dog. The lion visits the dog. The rabbit sees the dog. The rabbit sees the lion. The tiger is young. The tiger sees the dog. The tiger sees the rabbit. If the dog sees the tiger and the dog visits the rabbit then the tiger eats the dog. If something sees the rabbit then the rabbit eats the lion. If something eats the tiger and it sees the dog then it sees the rabbit. If something visits the rabbit and it is young then the rabbit is young. If something eats the rabbit and it visits the tiger then the tiger is kind. If something eats the rabbit then the rabbit visits the lion. If the rabbit eats the lion and the lion eats the rabbit then the rabbit sees the lion. If something visits the tiger and the tiger visits the rabbit then the rabbit is kind.
The dog is young.
@0: The dog eats the rabbit.[(triple1)] The dog is kind.[(triple2)] The dog is young.[(triple3)] The dog visits the lion.[(triple4)] The dog visits the rabbit.[(triple5)] The dog visits the tiger.[(triple6)] The lion eats the rabbit.[(triple7)] The lion is blue.[(triple8)] The lion sees the dog.[(triple9)] The lion visits the dog.[(triple10)] The rabbit sees the dog.[(triple11)] The rabbit sees the lion.[(triple12 OR ((((triple15) -> rule2) triple7) -> rule7))] The tiger is young.[(triple13)] The tiger sees the dog.[(triple14)] The tiger sees the rabbit.[(triple15)] @1: The rabbit eats the lion.[(((triple15) -> rule2))] The rabbit is young.[(((triple5 triple3) -> rule4))] The rabbit visits the lion.[(((triple1) -> rule6) OR ((triple7) -> rule6))] The tiger is kind.[(((triple1 triple6) -> rule5))]