The bear is cold. The bear is green. The bear is red. The bear needs the dog. The bear needs the mouse. The cow eats the dog. The cow eats the mouse. The cow is young. The cow needs the bear. The cow needs the dog. The dog eats the bear. The dog is young. The dog likes the cow. The dog likes the mouse. The mouse eats the dog. The mouse needs the cow. If someone eats the dog then the dog eats the cow. If someone needs the dog and the dog eats the mouse then the mouse likes the cow. If someone is cold then they like the cow. If someone is green and they need the mouse then they are cold. If someone needs the bear and they like the mouse then the bear eats the cow. If the mouse needs the bear and the bear is green then the bear likes the dog.
The cow is not cold.
@0: The bear is cold.[(triple1 OR ((triple2 triple5) -> rule4))] The bear is green.[(triple2)] The bear is red.[(triple3)] The bear needs the dog.[(triple4)] The bear needs the mouse.[(triple5)] The cow eats the dog.[(triple6)] The cow eats the mouse.[(triple7)] The cow is young.[(triple8)] The cow needs the bear.[(triple9)] The cow needs the dog.[(triple10)] The dog eats the bear.[(triple11)] The dog is young.[(triple12)] The dog likes the cow.[(triple13)] The dog likes the mouse.[(triple14)] The mouse eats the dog.[(triple15)] The mouse needs the cow.[(triple16)] @1: The bear likes the cow.[(((triple1) -> rule3) OR ((((triple2 triple5) -> rule4)) -> rule3))] The dog eats the cow.[(((triple15) -> rule1) OR ((triple6) -> rule1))]