The bear eats the rabbit. The bear is blue. The bear is nice. The bear is red. The bear is round. The bear is young. The bear needs the rabbit. The bear visits the rabbit. The rabbit eats the bear. The rabbit is blue. The rabbit is not red. The rabbit is round. The rabbit is not young. The rabbit needs the bear. The rabbit visits the bear. If something eats the rabbit and it visits the bear then the rabbit is nice. If something eats the rabbit and it needs the rabbit then it visits the bear.
The bear eats the bear.
@0: The bear eats the rabbit.[(triple1)] The bear is blue.[(triple2)] The bear is nice.[(triple3)] The bear is red.[(triple4)] The bear is round.[(triple5)] The bear is young.[(triple6)] The bear needs the rabbit.[(triple7)] The bear visits the rabbit.[(triple8)] The rabbit eats the bear.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is not red.[(triple11)] The rabbit is not young.[(triple13)] The rabbit is round.[(triple12)] The rabbit needs the bear.[(triple14)] The rabbit visits the bear.[(triple15)] @1: The bear visits the bear.[(((triple1 triple7) -> rule2))] @2: The rabbit is nice.[(((triple1 ((triple1 triple7) -> rule2)) -> rule1))]