Anne is rough. Anne is smart. Anne is not white. Bob is quiet. Bob is round. Dave is quiet. Erin is white. All smart things are cold. If Bob is quiet and Bob is round then Bob is cold. Quiet things are smart.
Bob is not white.
@0: Anne is not white.[(triple3)] Anne is rough.[(triple1)] Anne is smart.[(triple2)] Bob is quiet.[(triple4)] Bob is round.[(triple5)] Dave is quiet.[(triple6)] Erin is white.[(triple7)] @1: Anne is cold.[(((triple2) -> rule1))] Bob is cold.[(((triple4 triple5) -> rule2) OR ((((triple4) -> rule3)) -> rule1))] Bob is smart.[(((triple4) -> rule3))] Dave is smart.[(((triple6) -> rule3))] @2: Dave is cold.[(((((triple6) -> rule3)) -> rule1))]