The bald eagle chases the cat. The bald eagle chases the rabbit. The bald eagle is green. The bald eagle sees the cat. The cat chases the bald eagle. The cat likes the bald eagle. The cat sees the rabbit. The rabbit sees the bald eagle. The squirrel is nice. The squirrel is round. If something likes the bald eagle and it is kind then the bald eagle is kind. If something chases the bald eagle then the bald eagle is kind. If something likes the squirrel and the squirrel is green then it is kind.
The bald eagle is not kind.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the rabbit.[(triple2)] The bald eagle is green.[(triple3)] The bald eagle sees the cat.[(triple4)] The cat chases the bald eagle.[(triple5)] The cat likes the bald eagle.[(triple6)] The cat sees the rabbit.[(triple7)] The rabbit sees the bald eagle.[(triple8)] The squirrel is nice.[(triple9)] The squirrel is round.[(triple10)] @1: The bald eagle is kind.[(((triple5) -> rule2))]