The bear is big. The bear is blue. The bear is red. The bear is round. The bear is young. The bear needs the cow. The bear sees the cow. The bear visits the cow. The cow is big. The cow is blue. The cow is red. The cow is round. The cow is young. The cow needs the bear. The cow sees the bear. The cow visits the bear. If someone sees the cow and they see the bear then the cow sees the bear. If someone sees the bear then the bear needs the cow. If someone visits the cow and the cow is blue then they need the bear. If the bear is big then the bear needs the cow. If the cow sees the bear and the cow is young then the cow is big. If someone needs the bear and the bear visits the cow then they visit the cow. If someone is red then they see the cow. If someone needs the bear then they visit the bear.
The bear does not visit the bear.
@0: The bear is big.[(triple1)] The bear is blue.[(triple2)] The bear is red.[(triple3)] The bear is round.[(triple4)] The bear is young.[(triple5)] The bear needs the cow.[(triple6 OR ((triple1) -> rule4) OR ((triple15) -> rule2))] The bear sees the cow.[(triple7 OR ((triple3) -> rule7))] The bear visits the cow.[(triple8)] The cow is big.[(triple9 OR ((triple15 triple13) -> rule5))] The cow is blue.[(triple10)] The cow is red.[(triple11)] The cow is round.[(triple12)] The cow is young.[(triple13)] The cow needs the bear.[(triple14)] The cow sees the bear.[(triple15)] The cow visits the bear.[(triple16 OR ((triple14) -> rule8))] @1: The bear needs the bear.[(((triple8 triple10) -> rule3))] The cow sees the cow.[(((triple11) -> rule7))] The cow visits the cow.[(((triple14 triple8) -> rule6))] @2: The bear visits the bear.[(((((triple8 triple10) -> rule3)) -> rule8))]