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