The cat is kind. The cat is nice. The cat is round. Young, big things are round. If the cat is nice then the cat is young. If the cat is big then the cat is young.
The cat chases the cat.
@0: The cat is kind.[(triple1)] The cat is nice.[(triple2)] The cat is round.[(triple3)] @1: The cat is young.[(((triple2) -> rule2))]