Bob is white. Erin is quiet. Fiona is nice. Harry is quiet. If Erin is nice then Erin is white. If someone is nice and white then they are not green. If someone is quiet and nice then they are green. If Harry is quiet then Harry is blue. Nice people are quiet. All blue people are white. If someone is round and white then they are blue. If someone is white then they are round.
Fiona is green.
@0: Bob is white.[(triple1)] Erin is quiet.[(triple2)] Fiona is nice.[(triple3)] Harry is quiet.[(triple4)] @1: Bob is round.[(((triple1) -> rule8))] Fiona is quiet.[(((triple3) -> rule5))] Harry is blue.[(((triple4) -> rule4))] @2: Bob is blue.[(((((triple1) -> rule8) triple1) -> rule7))] Fiona is green.[(((((triple3) -> rule5) triple3) -> rule3))] Harry is white.[(((((triple4) -> rule4)) -> rule6))] @3: Harry is round.[(((((((triple4) -> rule4)) -> rule6)) -> rule8))]