Bob is blue. Charlie is red. Fiona is red. Gary is white. All red, white things are quiet. Blue things are young. All young, white things are cold. If Fiona is white and Fiona is quiet then Fiona is red. If something is quiet and blue then it is young. If something is blue and red then it is quiet. All white, green things are red. If something is red then it is white.
Charlie is red.
@0: Bob is blue.[(triple1)] Charlie is red.[(triple2)] Fiona is red.[(triple3)] Gary is white.[(triple4)] @1: Bob is young.[(((triple1) -> rule2))] Charlie is white.[(((triple2) -> rule8))] Fiona is white.[(((triple3) -> rule8))] @2: Charlie is quiet.[(((triple2 ((triple2) -> rule8)) -> rule1))] Fiona is quiet.[(((triple3 ((triple3) -> rule8)) -> rule1))]