The bear chases the dog. The bear eats the dog. The bear is big. The bear is cold. The bear is young. The bear sees the dog. The dog chases the bear. The dog eats the bear. The dog is big. The dog sees the bear. If something is cold then it chases the bear. If something eats the bear then it sees the bear. Green things are young.
The bear sees the dog.
@0: The bear chases the dog.[(triple1)] The bear eats the dog.[(triple2)] The bear is big.[(triple3)] The bear is cold.[(triple4)] The bear is young.[(triple5)] The bear sees the dog.[(triple6)] The dog chases the bear.[(triple7)] The dog eats the bear.[(triple8)] The dog is big.[(triple9)] The dog sees the bear.[(triple10 OR ((triple8) -> rule2))] @1: The bear chases the bear.[(((triple4) -> rule1))]