The bear is blue. The bear likes the cow. The bear likes the dog. The cow eats the mouse. The cow is big. The cow is cold. The cow is nice. The cow is red. The dog eats the bear. The dog is big. The dog is cold. The dog likes the cow. The dog needs the mouse. The mouse eats the cow. The mouse is nice. The mouse needs the cow. Cold things are nice. If something is nice then it eats the cow. If something needs the mouse then it needs the bear.
The dog is nice.
@0: The bear is blue.[(triple1)] The bear likes the cow.[(triple2)] The bear likes the dog.[(triple3)] The cow eats the mouse.[(triple4)] The cow is big.[(triple5)] The cow is cold.[(triple6)] The cow is nice.[(triple7 OR ((triple6) -> rule1))] The cow is red.[(triple8)] The dog eats the bear.[(triple9)] The dog is big.[(triple10)] The dog is cold.[(triple11)] The dog likes the cow.[(triple12)] The dog needs the mouse.[(triple13)] The mouse eats the cow.[(triple14 OR ((triple15) -> rule2))] The mouse is nice.[(triple15)] The mouse needs the cow.[(triple16)] @1: The cow eats the cow.[(((triple7) -> rule2) OR ((((triple6) -> rule1)) -> rule2))] The dog is nice.[(((triple11) -> rule1))] The dog needs the bear.[(((triple13) -> rule3))] @2: The dog eats the cow.[(((((triple11) -> rule1)) -> rule2))]