The bear does not chase the cow. The bear eats the cow. The bear is big. The bear is cold. The bear is green. The bear is red. The bear is round. The bear sees the cow. The cow chases the bear. The cow does not eat the bear. The cow is big. The cow is cold. The cow is not green. The cow is red. The cow is not round. The cow sees the bear. If something is cold and it does not eat the bear then it sees the bear. If the bear is cold then the bear eats the cow. If the cow is cold and the cow is green then the cow chases the bear. If something chases the cow and it does not chase the bear then the cow sees the bear. If something sees the bear then it does not eat the cow. If the cow eats the bear and the bear does not eat the cow then the bear is round.
The cow is not cold.
@0: The bear does not chase the cow.[(triple1)] The bear eats the cow.[(triple2 OR ((triple4) -> rule2))] The bear is big.[(triple3)] The bear is cold.[(triple4)] The bear is green.[(triple5)] The bear is red.[(triple6)] The bear is round.[(triple7)] The bear sees the cow.[(triple8)] The cow chases the bear.[(triple9)] The cow does not eat the bear.[(triple10)] The cow is big.[(triple11)] The cow is cold.[(triple12)] The cow is not green.[(triple13)] The cow is not round.[(triple15)] The cow is red.[(triple14)] The cow sees the bear.[(triple16 OR ((triple12 triple10) -> rule1))] @1: The cow does not eat the cow.[(((triple16) -> rule5) OR ((((triple12 triple10) -> rule1)) -> rule5))]