The bear eats the rabbit. The bear is blue. The bear visits the squirrel. The rabbit eats the bear. The rabbit eats the squirrel. The rabbit is nice. The rabbit is red. The rabbit likes the bear. The rabbit visits the bear. The squirrel eats the bear. The squirrel eats the rabbit. The squirrel is green. The squirrel likes the bear. The squirrel visits the bear. The squirrel visits the rabbit. Blue people are green.
The rabbit is not green.
@0: The bear eats the rabbit.[(triple1)] The bear is blue.[(triple2)] The bear visits the squirrel.[(triple3)] The rabbit eats the bear.[(triple4)] The rabbit eats the squirrel.[(triple5)] The rabbit is nice.[(triple6)] The rabbit is red.[(triple7)] The rabbit likes the bear.[(triple8)] The rabbit visits the bear.[(triple9)] The squirrel eats the bear.[(triple10)] The squirrel eats the rabbit.[(triple11)] The squirrel is green.[(triple12)] The squirrel likes the bear.[(triple13)] The squirrel visits the bear.[(triple14)] The squirrel visits the rabbit.[(triple15)] @1: The bear is green.[(((triple2) -> rule1))]