The bear is rough. The bear likes the dog. The bear needs the dog. The bear needs the rabbit. The bear sees the dog. The dog is big. The dog is blue. The dog likes the bear. The dog likes the rabbit. The dog needs the rabbit. The dog sees the rabbit. The rabbit is red. The rabbit is rough. The rabbit likes the dog. The rabbit needs the dog. The rabbit sees the dog. If the rabbit sees the bear then the bear needs the rabbit. If someone is red then they like the bear.
The dog is big.
@0: The bear is rough.[(triple1)] The bear likes the dog.[(triple2)] The bear needs the dog.[(triple3)] The bear needs the rabbit.[(triple4)] The bear sees the dog.[(triple5)] The dog is big.[(triple6)] The dog is blue.[(triple7)] The dog likes the bear.[(triple8)] The dog likes the rabbit.[(triple9)] The dog needs the rabbit.[(triple10)] The dog sees the rabbit.[(triple11)] The rabbit is red.[(triple12)] The rabbit is rough.[(triple13)] The rabbit likes the dog.[(triple14)] The rabbit needs the dog.[(triple15)] The rabbit sees the dog.[(triple16)] @1: The rabbit likes the bear.[(((triple12) -> rule2))]