The cat is cold. All blue people are round. All nice people are not round. All cold people are nice. All cold, round people are not nice. All round people are not cold. If the cat is not round then the cat is kind.
The cat chases the cat.
@0: The cat is cold.[(triple1)] @1: The cat is nice.[(((triple1) -> rule3))] @2: The cat is not round.[(((((triple1) -> rule3)) -> rule2))] @3: The cat is kind.[(((((((triple1) -> rule3)) -> rule2)) -> rule6))]