The cat is round. Round people are blue. All nice people are blue. If the cat is kind then the cat is round.
The cat is not kind.
@0: The cat is round.[(triple1)] @1: The cat is blue.[(((triple1) -> rule1))]