Anne is quiet. Dave is smart. Erin is nice. Harry is white. If someone is cold and quiet then they are round. If Erin is cold and Erin is nice then Erin is white. All white, quiet people are smart. All white people are quiet. If someone is kind then they are cold. If someone is round and nice then they are white. If someone is quiet and white then they are cold. If someone is smart and white then they are cold.
Harry is quiet.
@0: Anne is quiet.[(triple1)] Dave is smart.[(triple2)] Erin is nice.[(triple3)] Harry is white.[(triple4)] @1: Harry is quiet.[(((triple4) -> rule4))] @2: Harry is cold.[(((((triple4) -> rule4) triple4) -> rule7) OR ((((triple4 ((triple4) -> rule4)) -> rule3) triple4) -> rule8))] Harry is smart.[(((triple4 ((triple4) -> rule4)) -> rule3))] @3: Harry is round.[(((((((triple4) -> rule4) triple4) -> rule7) ((triple4) -> rule4)) -> rule1) OR ((((((triple4 ((triple4) -> rule4)) -> rule3) triple4) -> rule8) ((triple4) -> rule4)) -> rule1))]