The bear eats the rabbit. The bear is rough. The bear is round. The bear needs the dog. The bear needs the rabbit. The dog eats the bear. The dog is blue. The dog is rough. The dog needs the rabbit. The rabbit eats the dog. All round things are nice. If the bear eats the rabbit then the bear is blue. If something is nice then it sees the dog.
The bear is blue.
@0: The bear eats the rabbit.[(triple1)] The bear is rough.[(triple2)] The bear is round.[(triple3)] The bear needs the dog.[(triple4)] The bear needs the rabbit.[(triple5)] The dog eats the bear.[(triple6)] The dog is blue.[(triple7)] The dog is rough.[(triple8)] The dog needs the rabbit.[(triple9)] The rabbit eats the dog.[(triple10)] @1: The bear is blue.[(((triple1) -> rule2))] The bear is nice.[(((triple3) -> rule1))] @2: The bear sees the dog.[(((((triple3) -> rule1)) -> rule3))]