The bear chases the cow. The bear is cold. The bear is nice. The bear likes the cow. The bear visits the cow. The cow is blue. The cow is cold. The cow is nice. The cow likes the bear. The cow visits the bear. If someone is cold then they like the cow. If someone likes the bear and they are cold then they are kind. If someone chases the cow and the cow is cold then they are blue.
The cow visits the cow.
@0: The bear chases the cow.[(triple1)] The bear is cold.[(triple2)] The bear is nice.[(triple3)] The bear likes the cow.[(triple4 OR ((triple2) -> rule1))] The bear visits the cow.[(triple5)] The cow is blue.[(triple6)] The cow is cold.[(triple7)] The cow is nice.[(triple8)] The cow likes the bear.[(triple9)] The cow visits the bear.[(triple10)] @1: The bear is blue.[(((triple1 triple7) -> rule3))] The cow is kind.[(((triple9 triple7) -> rule2))] The cow likes the cow.[(((triple7) -> rule1))]