The cat is blue. The cat is nice. The cat is round. All round, young things are not blue. All nice things are rough.
The cat is not young.
@0: The cat is blue.[(triple1)] The cat is nice.[(triple2)] The cat is round.[(triple3)] @1: The cat is rough.[(((triple2) -> rule2))]