Anne is white. Charlie is white. Fiona is red. Gary is quiet. All furry things are round. Red, smart things are blue. If something is red then it is smart. All smart things are furry. If something is quiet and white then it is furry. All round, furry things are red.
Fiona is blue.
@0: Anne is white.[(triple1)] Charlie is white.[(triple2)] Fiona is red.[(triple3)] Gary is quiet.[(triple4)] @1: Fiona is smart.[(((triple3) -> rule3))] @2: Fiona is blue.[(((triple3 ((triple3) -> rule3)) -> rule2))] Fiona is furry.[(((((triple3) -> rule3)) -> rule4))] @3: Fiona is round.[(((((((triple3) -> rule3)) -> rule4)) -> rule1))]