The bear is young. The bear likes the dog. The bear sees the rabbit. The bear sees the tiger. The bear visits the dog. The dog likes the tiger. The dog visits the rabbit. The dog visits the tiger. The rabbit is rough. The rabbit likes the bear. The rabbit likes the dog. The rabbit sees the bear. The tiger is cold. The tiger is rough. The tiger is young. If someone visits the rabbit then they are young. If someone visits the rabbit then the rabbit sees the dog. If someone is rough then they like the rabbit. If someone sees the bear and the bear likes the dog then the dog likes the bear. If the rabbit visits the tiger and the tiger likes the bear then the bear is rough. If someone sees the dog then they visit the dog.
The rabbit does not like the dog.
@0: The bear is young.[(triple1)] The bear likes the dog.[(triple2)] The bear sees the rabbit.[(triple3)] The bear sees the tiger.[(triple4)] The bear visits the dog.[(triple5)] The dog likes the tiger.[(triple6)] The dog visits the rabbit.[(triple7)] The dog visits the tiger.[(triple8)] The rabbit is rough.[(triple9)] The rabbit likes the bear.[(triple10)] The rabbit likes the dog.[(triple11)] The rabbit sees the bear.[(triple12)] The tiger is cold.[(triple13)] The tiger is rough.[(triple14)] The tiger is young.[(triple15)] @1: The dog is young.[(((triple7) -> rule1))] The dog likes the bear.[(((triple12 triple2) -> rule4))] The rabbit likes the rabbit.[(((triple9) -> rule3))] The rabbit sees the dog.[(((triple7) -> rule2))] The tiger likes the rabbit.[(((triple14) -> rule3))] @2: The rabbit visits the dog.[(((((triple7) -> rule2)) -> rule6))]