The bear eats the cow. The bear is blue. The bear is cold. The bear is nice. The bear is red. The bear is young. The bear likes the cow. The bear needs the cow. The cow eats the bear. The cow is blue. The cow is cold. The cow is nice. The cow is red. The cow likes the bear. The cow needs the bear. If something needs the cow then it is red.
The bear is red.
@0: The bear eats the cow.[(triple1)] The bear is blue.[(triple2)] The bear is cold.[(triple3)] The bear is nice.[(triple4)] The bear is red.[(triple5 OR ((triple8) -> rule1))] The bear is young.[(triple6)] The bear likes the cow.[(triple7)] The bear needs the cow.[(triple8)] The cow eats the bear.[(triple9)] The cow is blue.[(triple10)] The cow is cold.[(triple11)] The cow is nice.[(triple12)] The cow is red.[(triple13)] The cow likes the bear.[(triple14)] The cow needs the bear.[(triple15)]