The cat is big. The cat is red. The cat is round. If something is big and cold then it is round. All big things are kind. All kind, cold things are big.
The cat is not round.
@0: The cat is big.[(triple1)] The cat is red.[(triple2)] The cat is round.[(triple3)] @1: The cat is kind.[(((triple1) -> rule2))]