Anne is white. Charlie is red. Fiona is kind. Gary is round. If someone is round then they are rough. All rough, kind people are red. Cold people are red. If Fiona is furry and Fiona is cold then Fiona is rough. If Anne is rough then Anne is red. Rough, round people are white. All white, rough people are cold. If Gary is furry then Gary is round.
Charlie is red.
@0: Anne is white.[(triple1)] Charlie is red.[(triple2)] Fiona is kind.[(triple3)] Gary is round.[(triple4)] @1: Gary is rough.[(((triple4) -> rule1))] @2: Gary is white.[(((((triple4) -> rule1) triple4) -> rule6))] @3: Gary is cold.[(((((((triple4) -> rule1) triple4) -> rule6) ((triple4) -> rule1)) -> rule7))] @4: Gary is red.[(((((((((triple4) -> rule1) triple4) -> rule6) ((triple4) -> rule1)) -> rule7)) -> rule3))]