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