The bear is cold. The dog is nice. The squirrel eats the dog. If someone is round then they like the dog. If the dog is nice then the dog likes the squirrel. If someone likes the bear and the bear eats the dog then they see the bear. If someone is nice then they like the bear. If the bear sees the dog then the bear eats the dog. If the bear is young then the bear likes the squirrel. If someone is green and they eat the dog then they see the squirrel. If someone likes the squirrel then the squirrel is round.
The dog does not like the squirrel.
@0: The bear is cold.[(triple1)] The dog is nice.[(triple2)] The squirrel eats the dog.[(triple3)] @1: The dog likes the bear.[(((triple2) -> rule4))] The dog likes the squirrel.[(((triple2) -> rule2))] @2: The squirrel is round.[(((((triple2) -> rule2)) -> rule8))] @3: The squirrel likes the dog.[(((((((triple2) -> rule2)) -> rule8)) -> rule1))]