The bear chases the cow. The bear is red. The bear likes the cow. The bear sees the cow. The cow chases the bear. The cow is cold. The cow is red. The cow is young. The cow likes the bear. The cow sees the bear. If something sees the bear and the bear is nice then it is cold. If something chases the bear then it is nice. If something likes the cow and the cow sees the bear then it sees the cow. If something is red then it chases the bear. If the cow is nice then the cow sees the bear. If something likes the cow and the cow chases the bear then it is cold.
The cow likes the bear.
@0: The bear chases the cow.[(triple1)] The bear is red.[(triple2)] The bear likes the cow.[(triple3)] The bear sees the cow.[(triple4 OR ((triple3 triple10) -> rule3) OR ((triple3 ((((triple5) -> rule2)) -> rule5)) -> rule3) OR ((triple3 ((((((triple7) -> rule4)) -> rule2)) -> rule5)) -> rule3))] The cow chases the bear.[(triple5 OR ((triple7) -> rule4))] The cow is cold.[(triple6 OR ((triple10 ((((triple2) -> rule4)) -> rule2)) -> rule1) OR ((((((triple5) -> rule2)) -> rule5) ((((triple2) -> rule4)) -> rule2)) -> rule1) OR ((((((((triple7) -> rule4)) -> rule2)) -> rule5) ((((triple2) -> rule4)) -> rule2)) -> rule1))] The cow is red.[(triple7)] The cow is young.[(triple8)] The cow likes the bear.[(triple9)] The cow sees the bear.[(triple10 OR ((((triple5) -> rule2)) -> rule5) OR ((((((triple7) -> rule4)) -> rule2)) -> rule5))] @1: The bear chases the bear.[(((triple2) -> rule4))] The bear is cold.[(((triple3 triple5) -> rule6) OR ((triple3 ((triple7) -> rule4)) -> rule6))] The cow is nice.[(((triple5) -> rule2) OR ((((triple7) -> rule4)) -> rule2))] @2: The bear is nice.[(((((triple2) -> rule4)) -> rule2))]