The bear is big. The bear is round. The bear likes the dog. The bear needs the cow. The bear sees the dog. The cow is big. The cow is green. The cow is young. The cow likes the bear. The cow likes the dog. The cow needs the bear. The cow needs the dog. The cow sees the bear. The cow sees the dog. The dog is young. The dog sees the bear. If someone needs the dog then they see the dog. If the cow needs the bear and the bear is round then the cow likes the bear. If someone is round then they see the dog.
The cow is round.
@0: The bear is big.[(triple1)] The bear is round.[(triple2)] The bear likes the dog.[(triple3)] The bear needs the cow.[(triple4)] The bear sees the dog.[(triple5 OR ((triple2) -> rule3))] The cow is big.[(triple6)] The cow is green.[(triple7)] The cow is young.[(triple8)] The cow likes the bear.[(triple9 OR ((triple11 triple2) -> rule2))] The cow likes the dog.[(triple10)] The cow needs the bear.[(triple11)] The cow needs the dog.[(triple12)] The cow sees the bear.[(triple13)] The cow sees the dog.[(triple14 OR ((triple12) -> rule1))] The dog is young.[(triple15)] The dog sees the bear.[(triple16)]