The bear is blue. The bear is cold. The bear is young. The bear likes the squirrel. The bear sees the cow. The cow is nice. The cow likes the bear. The cow sees the squirrel. The squirrel is nice. The squirrel likes the cow. If something likes the bear then it sees the cow. If the bear is nice then the bear likes the squirrel. If something likes the squirrel then it sees the cow. If something likes the cow and it needs the squirrel then the squirrel needs the cow. If something needs the cow and it is young then it likes the squirrel. If the cow is blue then the cow is young.
The bear does not see the cow.
@0: The bear is blue.[(triple1)] The bear is cold.[(triple2)] The bear is young.[(triple3)] The bear likes the squirrel.[(triple4)] The bear sees the cow.[(triple5 OR ((triple4) -> rule3))] The cow is nice.[(triple6)] The cow likes the bear.[(triple7)] The cow sees the squirrel.[(triple8)] The squirrel is nice.[(triple9)] The squirrel likes the cow.[(triple10)] @1: The cow sees the cow.[(((triple7) -> rule1))]