The bear chases the squirrel. The bear eats the squirrel. The bear is not round. The dog chases the bear. The dog is cold. The dog visits the bear. The squirrel visits the dog. If something is round and nice then it does not visit the bear. If something chases the squirrel then it visits the bear. If something visits the bear then it is cold. If something eats the dog and the dog does not eat the bear then the bear eats the squirrel. If something chases the dog and it is not young then the dog is cold. If the squirrel is cold then the squirrel is nice. If the bear is young and the dog does not visit the bear then the bear visits the dog. If something visits the dog then it is not blue.
The squirrel is nice.
@0: The bear chases the squirrel.[(triple1)] The bear eats the squirrel.[(triple2)] The bear is not round.[(triple3)] The dog chases the bear.[(triple4)] The dog is cold.[(triple5 OR ((triple6) -> rule3))] The dog visits the bear.[(triple6)] The squirrel visits the dog.[(triple7)] @1: The bear visits the bear.[(((triple1) -> rule2))] The squirrel is not blue.[(((triple7) -> rule8))] @2: The bear is cold.[(((((triple1) -> rule2)) -> rule3))]