The bear chases the dog. The bear eats the dog. The bear is cold. The bear is green. The bear is nice. The bear is round. The bear sees the dog. The dog chases the bear. The dog eats the bear. The dog is cold. The dog is green. The dog is nice. The dog is rough. The dog is round. The dog sees the bear. If the bear sees the dog then the dog is cold. If something sees the dog then it sees the bear.
The bear does not chase the dog.
@0: The bear chases the dog.[(triple1)] The bear eats the dog.[(triple2)] The bear is cold.[(triple3)] The bear is green.[(triple4)] The bear is nice.[(triple5)] The bear is round.[(triple6)] The bear sees the dog.[(triple7)] The dog chases the bear.[(triple8)] The dog eats the bear.[(triple9)] The dog is cold.[(triple10 OR ((triple7) -> rule1))] The dog is green.[(triple11)] The dog is nice.[(triple12)] The dog is rough.[(triple13)] The dog is round.[(triple14)] The dog sees the bear.[(triple15)] @1: The bear sees the bear.[(((triple7) -> rule2))]