Anne is white. Charlie is quiet. All young, red things are quiet. If something is quiet and young then it is red. Furry, white things are young. If something is quiet and not furry then it is young. All quiet things are young. If Charlie is not young then Charlie is nice. If something is red and quiet then it is big. If something is nice then it is big.
Charlie is not red.
@0: Anne is white.[(triple1)] Charlie is quiet.[(triple2)] @1: Charlie is young.[(((triple2) -> rule5))] @2: Charlie is red.[(((triple2 ((triple2) -> rule5)) -> rule2))] @3: Charlie is big.[(((((triple2 ((triple2) -> rule5)) -> rule2) triple2) -> rule7))]