The bald eagle is green. The bald eagle is rough. The bald eagle is round. The bald eagle likes the tiger. The dog is nice. The dog does not need the bald eagle. The squirrel is green. The squirrel is nice. The squirrel is not red. The squirrel is round. The squirrel does not like the bald eagle. The squirrel likes the tiger. The squirrel needs the tiger. The squirrel visits the bald eagle. The tiger is not nice. The tiger likes the dog. If the squirrel does not visit the bald eagle then the bald eagle does not need the dog. If someone is nice and rough then they do not like the tiger. If someone visits the dog then the dog does not like the bald eagle. If someone is green then they like the dog. If someone visits the dog and the dog does not visit the squirrel then the dog is not round. If someone visits the squirrel then the squirrel does not visit the tiger.
The squirrel is green.
@0: The bald eagle is green.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle likes the tiger.[(triple4)] The dog does not need the bald eagle.[(triple6)] The dog is nice.[(triple5)] The squirrel does not like the bald eagle.[(triple11)] The squirrel is green.[(triple7)] The squirrel is nice.[(triple8)] The squirrel is not red.[(triple9)] The squirrel is round.[(triple10)] The squirrel likes the tiger.[(triple12)] The squirrel needs the tiger.[(triple13)] The squirrel visits the bald eagle.[(triple14)] The tiger is not nice.[(triple15)] The tiger likes the dog.[(triple16)] @1: The bald eagle likes the dog.[(((triple1) -> rule4))] The squirrel likes the dog.[(((triple7) -> rule4))]