Dave is not cold. Erin is cold. Erin is furry. Fiona is cold. Fiona is quiet. Harry is smart. Harry is white. Smart, cold things are white. If Dave is green then Dave is not blue. If Erin is green then Erin is smart. If something is white and furry then it is smart. If Fiona is cold and Fiona is quiet then Fiona is smart. If something is furry then it is green. All green, white things are furry. If something is white and quiet then it is furry. Green, quiet things are blue.
Harry is not green.
@0: Dave is not cold.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3)] Fiona is cold.[(triple4)] Fiona is quiet.[(triple5)] Harry is smart.[(triple6)] Harry is white.[(triple7)] @1: Erin is green.[(((triple3) -> rule6))] Fiona is smart.[(((triple4 triple5) -> rule5))] @2: Erin is smart.[(((((triple3) -> rule6)) -> rule3))] Fiona is white.[(((((triple4 triple5) -> rule5) triple4) -> rule1))] @3: Erin is white.[(((((((triple3) -> rule6)) -> rule3) triple2) -> rule1))] Fiona is furry.[(((((((triple4 triple5) -> rule5) triple4) -> rule1) triple5) -> rule8))] @4: Fiona is green.[(((((((((triple4 triple5) -> rule5) triple4) -> rule1) triple5) -> rule8)) -> rule6))] @5: Fiona is blue.[(((((((((((triple4 triple5) -> rule5) triple4) -> rule1) triple5) -> rule8)) -> rule6) triple5) -> rule9))]