The bald eagle chases the squirrel. The bald eagle is blue. The bald eagle needs the dog. The bald eagle needs the squirrel. The dog is nice. The dog is young. The squirrel is blue. The squirrel needs the tiger. The tiger chases the bald eagle. The tiger chases the squirrel. The tiger needs the squirrel. If something likes the dog then the dog chases the squirrel. If something chases the squirrel and it chases the bald eagle then the squirrel chases the tiger. If something needs the bald eagle and it needs the dog then the dog is blue. If something likes the squirrel then it likes the tiger. If something chases the squirrel then it likes the dog. If something is kind and nice then it chases the tiger. If something likes the dog and it is young then it likes the squirrel.
The bald eagle does not chase the dog.
@0: The bald eagle chases the squirrel.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle needs the dog.[(triple3)] The bald eagle needs the squirrel.[(triple4)] The dog is nice.[(triple5)] The dog is young.[(triple6)] The squirrel is blue.[(triple7)] The squirrel needs the tiger.[(triple8)] The tiger chases the bald eagle.[(triple9)] The tiger chases the squirrel.[(triple10)] The tiger needs the squirrel.[(triple11)] @1: The bald eagle likes the dog.[(((triple1) -> rule5))] The squirrel chases the tiger.[(((triple10 triple9) -> rule2))] The tiger likes the dog.[(((triple10) -> rule5))] @2: The dog chases the squirrel.[(((((triple1) -> rule5)) -> rule1) OR ((((triple10) -> rule5)) -> rule1))] @3: The dog likes the dog.[(((((((triple1) -> rule5)) -> rule1)) -> rule5) OR ((((((triple10) -> rule5)) -> rule1)) -> rule5))] @4: The dog likes the squirrel.[(((((((((triple1) -> rule5)) -> rule1)) -> rule5) triple6) -> rule7) OR ((((((((triple10) -> rule5)) -> rule1)) -> rule5) triple6) -> rule7))] @5: The dog likes the tiger.[(((((((((((triple1) -> rule5)) -> rule1)) -> rule5) triple6) -> rule7)) -> rule4) OR ((((((((((triple10) -> rule5)) -> rule1)) -> rule5) triple6) -> rule7)) -> rule4))]