The bear is not red. The bear is rough. The bear needs the cow. The bear visits the cow. The cow is rough. The cow needs the bear. The cow visits the bear. The rabbit is blue. The rabbit is red. The rabbit needs the bear. The rabbit does not see the bear. The rabbit visits the cow. If someone visits the cow then the cow visits the rabbit. If someone visits the cow then they visit the rabbit. If someone sees the cow then they are blue. If someone sees the cow and they do not visit the bear then they are rough. If someone visits the cow and they visit the bear then the bear needs the rabbit. If someone needs the rabbit and they do not need the cow then the rabbit does not see the cow.
The cow needs the cow.
@0: The bear is not red.[(triple1)] The bear is rough.[(triple2)] The bear needs the cow.[(triple3)] The bear visits the cow.[(triple4)] The cow is rough.[(triple5)] The cow needs the bear.[(triple6)] The cow visits the bear.[(triple7)] The rabbit does not see the bear.[(triple11)] The rabbit is blue.[(triple8)] The rabbit is red.[(triple9)] The rabbit needs the bear.[(triple10)] The rabbit visits the cow.[(triple12)] @1: The bear visits the rabbit.[(((triple4) -> rule2))] The cow visits the rabbit.[(((triple12) -> rule1) OR ((triple4) -> rule1))] The rabbit visits the rabbit.[(((triple12) -> rule2))]