The cat is big. The cat is kind. The cat is round. Rough people are young. All round people are young. All rough, big people are kind.
The cat eats the cat.
@0: The cat is big.[(triple1)] The cat is kind.[(triple2)] The cat is round.[(triple3)] @1: The cat is young.[(((triple3) -> rule2))]