The bear is blue. The bear is round. The bear needs the cow. The bear sees the cow. The bear visits the cow. The cow is cold. The cow sees the bear. If something visits the bear and the bear is round then it sees the cow. If the bear sees the cow and the bear visits the cow then the bear needs the cow. If something visits the cow then the cow needs the bear. If something is kind then it visits the bear. If something is kind then it visits the bear. If the bear is kind and the bear is rough then the bear needs the cow. If something visits the cow then it needs the bear. If the cow sees the bear and the cow visits the bear then the bear visits the cow.
The cow sees the bear.
@0: The bear is blue.[(triple1)] The bear is round.[(triple2)] The bear needs the cow.[(triple3 OR ((triple4 triple5) -> rule2))] The bear sees the cow.[(triple4)] The bear visits the cow.[(triple5)] The cow is cold.[(triple6)] The cow sees the bear.[(triple7)] @1: The bear needs the bear.[(((triple5) -> rule7))] The cow needs the bear.[(((triple5) -> rule3))]