The bear needs the dog. The dog chases the bear. If someone visits the bear and the bear needs the dog then the dog is rough. If someone chases the dog then they are cold. If someone visits the dog then the dog visits the bear. If the bear chases the dog and the bear is cold then the bear is nice. If someone chases the bear then the bear chases the dog. If someone chases the bear then the bear needs the dog. If someone needs the dog then they are nice. If someone chases the dog and the dog visits the bear then they are blue.
The bear needs the bear.
@0: The bear needs the dog.[(triple1 OR ((triple2) -> rule6))] The dog chases the bear.[(triple2)] @1: The bear chases the dog.[(((triple2) -> rule5))] The bear is nice.[(((triple1) -> rule7) OR ((((triple2) -> rule6)) -> rule7) OR ((((triple2) -> rule5) ((((triple2) -> rule5)) -> rule2)) -> rule4))] @2: The bear is cold.[(((((triple2) -> rule5)) -> rule2))]