The bald eagle chases the cat. The cat chases the mouse. The cat is blue. The cat is nice. The cat visits the cow. The cow chases the cat. The mouse visits the cow. All blue things are kind. If something is kind then it likes the mouse.
The cow is not kind.
@0: The bald eagle chases the cat.[(triple1)] The cat chases the mouse.[(triple2)] The cat is blue.[(triple3)] The cat is nice.[(triple4)] The cat visits the cow.[(triple5)] The cow chases the cat.[(triple6)] The mouse visits the cow.[(triple7)] @1: The cat is kind.[(((triple3) -> rule1))] @2: The cat likes the mouse.[(((((triple3) -> rule1)) -> rule2))]