The bald eagle chases the dog. The bald eagle likes the squirrel. The dog chases the bald eagle. The dog chases the squirrel. The dog likes the lion. The dog likes the squirrel. The dog visits the lion. The dog visits the squirrel. The lion is kind. The lion visits the dog. The lion visits the squirrel. The squirrel is blue. If something likes the squirrel then it visits the bald eagle. If something chases the bald eagle and it is kind then it likes the dog. If something visits the squirrel and the squirrel chases the bald eagle then the bald eagle likes the dog. If something likes the squirrel and the squirrel is blue then it is young. If something visits the bald eagle then the bald eagle chases the squirrel. If something chases the squirrel and it chases the dog then the dog is big.
The squirrel chases the dog.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle likes the squirrel.[(triple2)] The dog chases the bald eagle.[(triple3)] The dog chases the squirrel.[(triple4)] The dog likes the lion.[(triple5)] The dog likes the squirrel.[(triple6)] The dog visits the lion.[(triple7)] The dog visits the squirrel.[(triple8)] The lion is kind.[(triple9)] The lion visits the dog.[(triple10)] The lion visits the squirrel.[(triple11)] The squirrel is blue.[(triple12)] @1: The bald eagle is young.[(((triple2 triple12) -> rule4))] The bald eagle visits the bald eagle.[(((triple2) -> rule1))] The dog is young.[(((triple6 triple12) -> rule4))] The dog visits the bald eagle.[(((triple6) -> rule1))] @2: The bald eagle chases the squirrel.[(((((triple2) -> rule1)) -> rule5) OR ((((triple6) -> rule1)) -> rule5))] @3: The dog is big.[(((((((triple2) -> rule1)) -> rule5) triple1) -> rule6) OR ((((((triple6) -> rule1)) -> rule5) triple1) -> rule6))]