The bear chases the cat. The bear chases the rabbit. The bear chases the tiger. The bear is young. The bear sees the rabbit. The bear visits the rabbit. The bear does not visit the tiger. The cat is blue. The rabbit does not chase the tiger. The rabbit is big. The rabbit sees the bear. The rabbit sees the tiger. The tiger is green. The tiger sees the bear. The tiger visits the bear. If someone chases the cat and the cat chases the bear then they see the tiger. If someone is young and they do not see the rabbit then they see the tiger. If the tiger is round and the tiger sees the bear then the tiger visits the bear. If someone chases the cat then they visit the bear. If someone visits the bear and they are green then the bear is not green. If someone visits the rabbit then the rabbit is blue.
The bear is not young.
@0: The bear chases the cat.[(triple1)] The bear chases the rabbit.[(triple2)] The bear chases the tiger.[(triple3)] The bear does not visit the tiger.[(triple7)] The bear is young.[(triple4)] The bear sees the rabbit.[(triple5)] The bear visits the rabbit.[(triple6)] The cat is blue.[(triple8)] The rabbit does not chase the tiger.[(triple9)] The rabbit is big.[(triple10)] The rabbit sees the bear.[(triple11)] The rabbit sees the tiger.[(triple12)] The tiger is green.[(triple13)] The tiger sees the bear.[(triple14)] The tiger visits the bear.[(triple15)] @1: The bear is not green.[(((triple15 triple13) -> rule5))] The bear visits the bear.[(((triple1) -> rule4))] The rabbit is blue.[(((triple6) -> rule6))]