The bear eats the cow. The bear is green. The bear is red. The bear is rough. The bear is round. The bear needs the cow. The bear sees the cow. The cow eats the bear. The cow is not rough. The cow is round. The cow needs the bear. The cow sees the bear. If the cow needs the bear then the bear needs the cow. If someone is red then they see the bear. If the cow needs the bear and the cow is blue then the cow eats the bear. If the bear is red then the bear eats the cow. If someone is red and they do not need the bear then the bear sees the cow. If the bear is red and the bear eats the cow then the cow sees the bear. All red people are rough. If the cow is blue then the cow is not red.
The cow sees the bear.
@0: The bear eats the cow.[(triple1 OR ((triple3) -> rule4))] The bear is green.[(triple2)] The bear is red.[(triple3)] The bear is rough.[(triple4 OR ((triple3) -> rule7))] The bear is round.[(triple5)] The bear needs the cow.[(triple6 OR ((triple11) -> rule1))] The bear sees the cow.[(triple7)] The cow eats the bear.[(triple8)] The cow is not rough.[(triple9)] The cow is round.[(triple10)] The cow needs the bear.[(triple11)] The cow sees the bear.[(triple12 OR ((triple3 triple1) -> rule6) OR ((triple3 ((triple3) -> rule4)) -> rule6))] @1: The bear sees the bear.[(((triple3) -> rule2))]