Anne is cold. Charlie is furry. If someone is furry then they are rough. If someone is red and cold then they are rough. If Anne is not furry then Anne is round. If someone is rough then they are cold. If someone is quiet and not red then they are not cold. If Anne is red and Anne is cold then Anne is quiet. If someone is rough and not round then they are big. All cold people are not big.
Anne is not rough.
@0: Anne is cold.[(triple1)] Charlie is furry.[(triple2)] @1: Anne is not big.[(((triple1) -> rule8))] Charlie is rough.[(((triple2) -> rule1))] @2: Charlie is cold.[(((((triple2) -> rule1)) -> rule4))] @3: Charlie is not big.[(((((((triple2) -> rule1)) -> rule4)) -> rule8))]