The cat is rough. All big, round people are rough. All big, red people are rough. Round, red people are rough. If someone is big then they are rough. Big people are round. All rough, cold people are big. If someone is round and red then they are not cold. All rough people are cold.
The cat is not red.
@0: The cat is rough.[(triple1)] @1: The cat is cold.[(((triple1) -> rule8))] @2: The cat is big.[(((triple1 ((triple1) -> rule8)) -> rule6))] @3: The cat is round.[(((((triple1 ((triple1) -> rule8)) -> rule6)) -> rule5))]