The bear is young. The bear does not like the tiger. The bear needs the tiger. The bear visits the dog. The bear visits the tiger. The dog is kind. The dog is rough. The dog needs the tiger. The dog visits the tiger. The tiger is big. The tiger is young. The tiger does not visit the bear. If the tiger does not visit the dog and the tiger is not kind then the dog is kind. If someone visits the tiger then they are round. If someone is rough then they like the dog. If someone is round then they like the dog. If someone needs the bear then the bear visits the dog. If the bear is big then the bear likes the dog.
The bear likes the dog.
@0: The bear does not like the tiger.[(triple2)] The bear is young.[(triple1)] The bear needs the tiger.[(triple3)] The bear visits the dog.[(triple4)] The bear visits the tiger.[(triple5)] The dog is kind.[(triple6)] The dog is rough.[(triple7)] The dog needs the tiger.[(triple8)] The dog visits the tiger.[(triple9)] The tiger does not visit the bear.[(triple12)] The tiger is big.[(triple10)] The tiger is young.[(triple11)] @1: The bear is round.[(((triple5) -> rule2))] The dog is round.[(((triple9) -> rule2))] The dog likes the dog.[(((triple7) -> rule3) OR ((((triple9) -> rule2)) -> rule4))] @2: The bear likes the dog.[(((((triple5) -> rule2)) -> rule4))]