The bear chases the cow. The bear is cold. The bear is red. The bear is round. The bear is young. The bear sees the cow. The bear visits the cow. The cow chases the bear. The cow is cold. The cow is kind. The cow is red. The cow is round. The cow is young. The cow sees the bear. The cow visits the bear. If someone sees the cow and the cow visits the bear then the cow is young. If someone visits the bear then they chase the bear. If someone sees the cow then the cow visits the bear.
The bear does not chase the bear.
@0: The bear chases the cow.[(triple1)] The bear is cold.[(triple2)] The bear is red.[(triple3)] The bear is round.[(triple4)] The bear is young.[(triple5)] The bear sees the cow.[(triple6)] The bear visits the cow.[(triple7)] The cow chases the bear.[(triple8 OR ((triple15) -> rule2) OR ((((triple6) -> rule3)) -> rule2))] The cow is cold.[(triple9)] The cow is kind.[(triple10)] The cow is red.[(triple11)] The cow is round.[(triple12)] The cow is young.[(triple13 OR ((triple6 triple15) -> rule1) OR ((triple6 ((triple6) -> rule3)) -> rule1))] The cow sees the bear.[(triple14)] The cow visits the bear.[(triple15 OR ((triple6) -> rule3))]