The bear eats the cow. The bear is round. The bear is young. The bear needs the cat. The bear sees the cat. The cat is rough. The cat sees the bear. The cow is red. The cow is rough. The cow is round. The cow needs the cat. The cow sees the bear. If something eats the bear then it sees the cow. If something is red then it needs the bear. If something sees the bear then it eats the cow. If something sees the cat and the cat is cold then it eats the cow. If something is young and it sees the cat then the cat is cold. If something is rough and it needs the cow then the cow sees the cat.
The bear does not eat the cow.
@0: The bear eats the cow.[(triple1 OR ((triple5 ((triple3 triple5) -> rule5)) -> rule4))] The bear is round.[(triple2)] The bear is young.[(triple3)] The bear needs the cat.[(triple4)] The bear sees the cat.[(triple5)] The cat is rough.[(triple6)] The cat sees the bear.[(triple7)] The cow is red.[(triple8)] The cow is rough.[(triple9)] The cow is round.[(triple10)] The cow needs the cat.[(triple11)] The cow sees the bear.[(triple12)] @1: The cat eats the cow.[(((triple7) -> rule3))] The cat is cold.[(((triple3 triple5) -> rule5))] The cow eats the cow.[(((triple12) -> rule3))] The cow needs the bear.[(((triple8) -> rule2))]