The cat is young. If the cat is young then the cat is not nice. If the cat is young and the cat is not cold then the cat is not nice. Young, cold people are not nice. If someone is cold and not young then they are nice. All big people are blue. If the cat is not nice then the cat is big. All blue people are big. All blue people are big.
The cat is nice.
@0: The cat is young.[(triple1)] @1: The cat is not nice.[(((triple1) -> rule1))] @2: The cat is big.[(((((triple1) -> rule1)) -> rule6))] @3: The cat is blue.[(((((((triple1) -> rule1)) -> rule6)) -> rule5))]