The bald eagle is blue. The bald eagle is green. The bald eagle likes the dog. The bald eagle sees the dog. The bald eagle sees the squirrel. The dog is blue. The dog likes the bald eagle. The dog sees the squirrel. The squirrel likes the bald eagle. The squirrel likes the dog. The squirrel needs the bald eagle. The squirrel sees the dog. If someone likes the bald eagle then the bald eagle needs the dog. If someone needs the bald eagle and the bald eagle needs the dog then they are green. If someone is green then they need the dog. If someone needs the dog then the dog sees the bald eagle. If someone is young then they are nice. If the squirrel is young and the squirrel needs the dog then the dog likes the squirrel.
The squirrel needs the dog.
@0: The bald eagle is blue.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle likes the dog.[(triple3)] The bald eagle sees the dog.[(triple4)] The bald eagle sees the squirrel.[(triple5)] The dog is blue.[(triple6)] The dog likes the bald eagle.[(triple7)] The dog sees the squirrel.[(triple8)] The squirrel likes the bald eagle.[(triple9)] The squirrel likes the dog.[(triple10)] The squirrel needs the bald eagle.[(triple11)] The squirrel sees the dog.[(triple12)] @1: The bald eagle needs the dog.[(((triple2) -> rule3) OR ((triple7) -> rule1) OR ((triple9) -> rule1))] @2: The dog sees the bald eagle.[(((((triple2) -> rule3)) -> rule4) OR ((((triple7) -> rule1)) -> rule4) OR ((((triple9) -> rule1)) -> rule4) OR ((((((triple11 ((triple2) -> rule3)) -> rule2)) -> rule3)) -> rule4) OR ((((((triple11 ((triple7) -> rule1)) -> rule2)) -> rule3)) -> rule4) OR ((((((triple11 ((triple9) -> rule1)) -> rule2)) -> rule3)) -> rule4))] The squirrel is green.[(((triple11 ((triple2) -> rule3)) -> rule2) OR ((triple11 ((triple7) -> rule1)) -> rule2) OR ((triple11 ((triple9) -> rule1)) -> rule2))] @3: The squirrel needs the dog.[(((((triple11 ((triple2) -> rule3)) -> rule2)) -> rule3) OR ((((triple11 ((triple7) -> rule1)) -> rule2)) -> rule3) OR ((((triple11 ((triple9) -> rule1)) -> rule2)) -> rule3))]