The bear does not like the dog. The dog is nice. If something likes the dog then it is green. If something is cold and it eats the bear then the bear sees the dog. If something is nice then it sees the bear. If the dog is young then the dog eats the bear. If something sees the bear then it likes the dog. If something sees the dog then it is not nice. If the dog does not like the bear and the dog does not see the bear then the dog is not round. If something likes the bear and the bear does not like the dog then the bear is not round.
The bear does not like the dog.
@0: The bear does not like the dog.[(triple1)] The dog is nice.[(triple2)] @1: The dog sees the bear.[(((triple2) -> rule3))] @2: The dog likes the dog.[(((((triple2) -> rule3)) -> rule5))] @3: The dog is green.[(((((((triple2) -> rule3)) -> rule5)) -> rule1))]