The cat is green. The cat is kind. The cat is round. If someone is blue then they are not young. Green, kind people are not young. Young, green people are round. If someone is blue then they are kind. If the cat is kind and the cat is blue then the cat is not round. If the cat is kind and the cat is blue then the cat is not round. Blue, round people are green. If the cat is young and the cat is round then the cat is kind.
The cat is blue.
@0: The cat is green.[(triple1)] The cat is kind.[(triple2)] The cat is round.[(triple3)] @1: The cat is not young.[(((triple1 triple2) -> rule2))]