The bear chases the rabbit. The bear eats the rabbit. The bear is big. The bear is blue. The bear is kind. The bear is nice. The bear is round. The bear likes the rabbit. The rabbit chases the bear. The rabbit eats the bear. The rabbit is big. The rabbit is not blue. The rabbit is kind. The rabbit is nice. The rabbit is not round. The rabbit likes the bear. If someone is blue then they eat the bear.
The bear is round.
@0: The bear chases the rabbit.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is big.[(triple3)] The bear is blue.[(triple4)] The bear is kind.[(triple5)] The bear is nice.[(triple6)] The bear is round.[(triple7)] The bear likes the rabbit.[(triple8)] The rabbit chases the bear.[(triple9)] The rabbit eats the bear.[(triple10)] The rabbit is big.[(triple11)] The rabbit is kind.[(triple13)] The rabbit is nice.[(triple14)] The rabbit is not blue.[(triple12)] The rabbit is not round.[(triple15)] The rabbit likes the bear.[(triple16)] @1: The bear eats the bear.[(((triple4) -> rule1))]