The bear eats the dog. The dog is blue. If someone likes the bear then the bear is round. If someone eats the bear and they are big then they are not red. If someone eats the dog then the dog likes the bear.
The bear does not eat the dog.
@0: The bear eats the dog.[(triple1)] The dog is blue.[(triple2)] @1: The dog likes the bear.[(((triple1) -> rule3))] @2: The bear is round.[(((((triple1) -> rule3)) -> rule1))]