Bob is blue. Erin is quiet. Fiona is cold. Harry is cold. All quiet things are blue. If Harry is blue then Harry is not young. Blue things are young. Blue, round things are cold. If something is blue and not red then it is round. If something is young then it is white. If Erin is red and Erin is not round then Erin is young. If Erin is red and Erin is not cold then Erin is white.
Bob is not white.
@0: Bob is blue.[(triple1)] Erin is quiet.[(triple2)] Fiona is cold.[(triple3)] Harry is cold.[(triple4)] @1: Bob is young.[(((triple1) -> rule3))] Erin is blue.[(((triple2) -> rule1))] @2: Bob is white.[(((((triple1) -> rule3)) -> rule6))] Erin is young.[(((((triple2) -> rule1)) -> rule3))] @3: Erin is white.[(((((((triple2) -> rule1)) -> rule3)) -> rule6))]