The bald eagle chases the rabbit. The bald eagle is green. The bald eagle is kind. The bald eagle is red. The bald eagle sees the squirrel. The dog chases the bald eagle. The rabbit chases the bald eagle. The rabbit eats the bald eagle. The rabbit is green. The rabbit is kind. The rabbit is red. The rabbit sees the bald eagle. The rabbit sees the dog. The squirrel eats the dog. The squirrel sees the bald eagle. The squirrel sees the rabbit. If something chases the dog and it chases the rabbit then it sees the rabbit. If something chases the squirrel and it sees the squirrel then it eats the dog. If something eats the squirrel then the squirrel is kind. If something sees the dog and it is kind then it sees the squirrel. If something chases the dog then it chases the rabbit. If something chases the rabbit then it sees the bald eagle.
The dog is green.
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is kind.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle sees the squirrel.[(triple5)] The dog chases the bald eagle.[(triple6)] The rabbit chases the bald eagle.[(triple7)] The rabbit eats the bald eagle.[(triple8)] The rabbit is green.[(triple9)] The rabbit is kind.[(triple10)] The rabbit is red.[(triple11)] The rabbit sees the bald eagle.[(triple12)] The rabbit sees the dog.[(triple13)] The squirrel eats the dog.[(triple14)] The squirrel sees the bald eagle.[(triple15)] The squirrel sees the rabbit.[(triple16)] @1: The bald eagle sees the bald eagle.[(((triple1) -> rule6))] The rabbit sees the squirrel.[(((triple13 triple10) -> rule4))]