The bald eagle is blue. The bald eagle is rough. The bald eagle likes the squirrel. The bald eagle likes the tiger. The bald eagle sees the tiger. The squirrel chases the bald eagle. The squirrel is green. The squirrel is nice. The squirrel is rough. The tiger is kind. The tiger is nice. The tiger does not like the bald eagle. If something likes the squirrel and the squirrel likes the tiger then the squirrel likes the bald eagle. All kind things are blue. If something is blue and it likes the squirrel then it does not see the bald eagle. If something chases the bald eagle and it does not like the bald eagle then it is not kind. If something chases the tiger and the tiger is blue then it chases the squirrel. If something likes the squirrel and it does not see the bald eagle then it chases the tiger.
The tiger is blue.
@0: The bald eagle is blue.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The bald eagle likes the tiger.[(triple4)] The bald eagle sees the tiger.[(triple5)] The squirrel chases the bald eagle.[(triple6)] The squirrel is green.[(triple7)] The squirrel is nice.[(triple8)] The squirrel is rough.[(triple9)] The tiger does not like the bald eagle.[(triple12)] The tiger is kind.[(triple10)] The tiger is nice.[(triple11)] @1: The bald eagle does not see the bald eagle.[(((triple1 triple3) -> rule3))] The tiger is blue.[(((triple10) -> rule2))] @2: The bald eagle chases the tiger.[(((triple3 ((triple1 triple3) -> rule3)) -> rule6))] @3: The bald eagle chases the squirrel.[(((((triple3 ((triple1 triple3) -> rule3)) -> rule6) ((triple10) -> rule2)) -> rule5))]