The bear eats the cow. The bear is kind. The bear is round. The bear likes the cow. The bear sees the cow. The cow eats the bear. The cow is blue. The cow is cold. The cow is kind. The cow is rough. The cow likes the bear. The cow sees the bear. If someone sees the cow then the cow is rough. If someone is cold then they eat the bear. If someone sees the bear then they like the cow.
The cow does not eat the bear.
@0: The bear eats the cow.[(triple1)] The bear is kind.[(triple2)] The bear is round.[(triple3)] The bear likes the cow.[(triple4)] The bear sees the cow.[(triple5)] The cow eats the bear.[(triple6 OR ((triple8) -> rule2))] The cow is blue.[(triple7)] The cow is cold.[(triple8)] The cow is kind.[(triple9)] The cow is rough.[(triple10 OR ((triple5) -> rule1))] The cow likes the bear.[(triple11)] The cow sees the bear.[(triple12)] @1: The cow likes the cow.[(((triple12) -> rule3))]