The bald eagle is young. The bald eagle likes the dog. The dog eats the bald eagle. The dog is cold. The dog is kind. The dog is round. The dog likes the bald eagle. The dog needs the squirrel. The squirrel eats the dog. The squirrel is kind. The squirrel is rough. The squirrel needs the bald eagle. If something is kind then it needs the dog. If something needs the bald eagle and it needs the dog then it likes the bald eagle. If something is rough and it needs the dog then the dog likes the bald eagle.
The bald eagle needs the bald eagle.
@0: The bald eagle is young.[(triple1)] The bald eagle likes the dog.[(triple2)] The dog eats the bald eagle.[(triple3)] The dog is cold.[(triple4)] The dog is kind.[(triple5)] The dog is round.[(triple6)] The dog likes the bald eagle.[(triple7 OR ((triple11 ((triple10) -> rule1)) -> rule3))] The dog needs the squirrel.[(triple8)] The squirrel eats the dog.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is rough.[(triple11)] The squirrel needs the bald eagle.[(triple12)] @1: The dog needs the dog.[(((triple5) -> rule1))] The squirrel needs the dog.[(((triple10) -> rule1))] @2: The squirrel likes the bald eagle.[(((triple12 ((triple10) -> rule1)) -> rule2))]