The dog eats the squirrel. The dog likes the rabbit. The dog visits the rabbit. The dog visits the squirrel. The rabbit eats the dog. The rabbit eats the squirrel. The rabbit is blue. The rabbit likes the dog. The rabbit visits the squirrel. The squirrel visits the rabbit. All blue people are green.
The squirrel is not green.
@0: The dog eats the squirrel.[(triple1)] The dog likes the rabbit.[(triple2)] The dog visits the rabbit.[(triple3)] The dog visits the squirrel.[(triple4)] The rabbit eats the dog.[(triple5)] The rabbit eats the squirrel.[(triple6)] The rabbit is blue.[(triple7)] The rabbit likes the dog.[(triple8)] The rabbit visits the squirrel.[(triple9)] The squirrel visits the rabbit.[(triple10)] @1: The rabbit is green.[(((triple7) -> rule1))]