The bald eagle is kind. The bald eagle is nice. The bald eagle sees the cow. The bear chases the cow. The bear is kind. The bear is round. The bear sees the bald eagle. The bear sees the cow. The cow chases the bald eagle. The cow eats the dog. The cow is blue. The dog chases the cow. The dog eats the cow. The dog is blue. If something eats the cow then it is young. If something is round and it sees the dog then the dog eats the bear. If something chases the cow then the cow sees the bear. If something chases the cow and the cow is blue then the cow chases the bear. If something eats the bear and the bear sees the dog then the dog sees the bald eagle. If something chases the bear and the bear is round then the bear sees the dog. If the dog eats the bald eagle and the dog eats the cow then the cow eats the bear. If something chases the cow and it sees the bald eagle then it is kind.
The dog chases the cow.
@0: The bald eagle is kind.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle sees the cow.[(triple3)] The bear chases the cow.[(triple4)] The bear is kind.[(triple5 OR ((triple4 triple7) -> rule8))] The bear is round.[(triple6)] The bear sees the bald eagle.[(triple7)] The bear sees the cow.[(triple8)] The cow chases the bald eagle.[(triple9)] The cow eats the dog.[(triple10)] The cow is blue.[(triple11)] The dog chases the cow.[(triple12)] The dog eats the cow.[(triple13)] The dog is blue.[(triple14)] @1: The cow chases the bear.[(((triple12 triple11) -> rule4) OR ((triple4 triple11) -> rule4))] The cow sees the bear.[(((triple12) -> rule3) OR ((triple4) -> rule3))] The dog is young.[(((triple13) -> rule1))] @2: The bear sees the dog.[(((((triple12 triple11) -> rule4) triple6) -> rule6) OR ((((triple4 triple11) -> rule4) triple6) -> rule6))] @3: The dog eats the bear.[(((triple6 ((((triple12 triple11) -> rule4) triple6) -> rule6)) -> rule2) OR ((triple6 ((((triple4 triple11) -> rule4) triple6) -> rule6)) -> rule2))] @4: The dog sees the bald eagle.[(((((triple6 ((((triple12 triple11) -> rule4) triple6) -> rule6)) -> rule2) ((((triple12 triple11) -> rule4) triple6) -> rule6)) -> rule5) OR ((((triple6 ((((triple12 triple11) -> rule4) triple6) -> rule6)) -> rule2) ((((triple4 triple11) -> rule4) triple6) -> rule6)) -> rule5) OR ((((triple6 ((((triple4 triple11) -> rule4) triple6) -> rule6)) -> rule2) ((((triple12 triple11) -> rule4) triple6) -> rule6)) -> rule5) OR ((((triple6 ((((triple4 triple11) -> rule4) triple6) -> rule6)) -> rule2) ((((triple4 triple11) -> rule4) triple6) -> rule6)) -> rule5))] @5: The dog is kind.[(((triple12 ((((triple6 ((((triple12 triple11) -> rule4) triple6) -> rule6)) -> rule2) ((((triple12 triple11) -> rule4) triple6) -> rule6)) -> rule5)) -> rule8) OR ((triple12 ((((triple6 ((((triple12 triple11) -> rule4) triple6) -> rule6)) -> rule2) ((((triple4 triple11) -> rule4) triple6) -> rule6)) -> rule5)) -> rule8) OR ((triple12 ((((triple6 ((((triple4 triple11) -> rule4) triple6) -> rule6)) -> rule2) ((((triple12 triple11) -> rule4) triple6) -> rule6)) -> rule5)) -> rule8) OR ((triple12 ((((triple6 ((((triple4 triple11) -> rule4) triple6) -> rule6)) -> rule2) ((((triple4 triple11) -> rule4) triple6) -> rule6)) -> rule5)) -> rule8))]