Anne is quiet. Bob is quiet. Bob is smart. Dave is cold. Dave is red. Dave is white. Erin is red. Smart things are not cold. If Anne is white and Anne is not cold then Anne is rough. All rough, smart things are quiet. If something is red and not cold then it is not rough. If something is white then it is not rough. All quiet, red things are white. If something is quiet and not cold then it is white. All red, rough things are white.
Erin is white.
@0: Anne is quiet.[(triple1)] Bob is quiet.[(triple2)] Bob is smart.[(triple3)] Dave is cold.[(triple4)] Dave is red.[(triple5)] Dave is white.[(triple6)] Erin is red.[(triple7)] @1: Bob is not cold.[(((triple3) -> rule1))] Dave is not rough.[(((triple6) -> rule5))] @2: Bob is white.[(((triple2 ((triple3) -> rule1)) -> rule7))] @3: Bob is not rough.[(((((triple2 ((triple3) -> rule1)) -> rule7)) -> rule5))]