Anne is red. Anne is rough. Bob is blue. Bob is red. Dave is quiet. Dave is red. Dave is not rough. Dave is smart. Gary is blue. Gary is cold. Gary is green. Gary is rough. If Bob is blue then Bob is rough. If Gary is green then Gary is quiet. If someone is green and red then they are not cold. If someone is smart then they are green. If someone is rough then they are smart. If someone is rough and not cold then they are not quiet. If someone is red and not blue then they are quiet.
Bob is quiet.
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Bob is blue.[(triple3)] Bob is red.[(triple4)] Dave is not rough.[(triple7)] Dave is quiet.[(triple5)] Dave is red.[(triple6)] Dave is smart.[(triple8)] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is green.[(triple11 OR ((((triple12) -> rule5)) -> rule4))] Gary is rough.[(triple12)] @1: Anne is smart.[(((triple2) -> rule5))] Bob is rough.[(((triple3) -> rule1))] Dave is green.[(((triple8) -> rule4))] Gary is quiet.[(((triple11) -> rule2) OR ((((((triple12) -> rule5)) -> rule4)) -> rule2))] Gary is smart.[(((triple12) -> rule5))] @2: Anne is green.[(((((triple2) -> rule5)) -> rule4))] Bob is smart.[(((((triple3) -> rule1)) -> rule5))] Dave is not cold.[(((((triple8) -> rule4) triple6) -> rule3))] @3: Anne is not cold.[(((((((triple2) -> rule5)) -> rule4) triple1) -> rule3))] Bob is green.[(((((((triple3) -> rule1)) -> rule5)) -> rule4))] @4: Anne is not quiet.[(((triple2 ((((((triple2) -> rule5)) -> rule4) triple1) -> rule3)) -> rule6))] Bob is not cold.[(((((((((triple3) -> rule1)) -> rule5)) -> rule4) triple4) -> rule3))] @5: Bob is not quiet.[(((((triple3) -> rule1) ((((((((triple3) -> rule1)) -> rule5)) -> rule4) triple4) -> rule3)) -> rule6))]