The bear is nice. The bear likes the rabbit. The dog is cold. The dog likes the bear. The rabbit eats the dog. The squirrel is round. The squirrel does not like the rabbit. If someone is round then they like the dog. If someone is nice then they are round. If the bear does not like the dog then the bear is not young.
The bear does not like the bear.
@0: The bear is nice.[(triple1)] The bear likes the rabbit.[(triple2)] The dog is cold.[(triple3)] The dog likes the bear.[(triple4)] The rabbit eats the dog.[(triple5)] The squirrel does not like the rabbit.[(triple7)] The squirrel is round.[(triple6)] @1: The bear is round.[(((triple1) -> rule2))] The squirrel likes the dog.[(((triple6) -> rule1))] @2: The bear likes the dog.[(((((triple1) -> rule2)) -> rule1))]