The cat is round. If something is round then it is not nice. If something is nice and not red then it is big.
The cat sees the cat.
@0: The cat is round.[(triple1)] @1: The cat is not nice.[(((triple1) -> rule1))]