Anne is cold. Bob is nice. Dave is nice. Gary is rough. If someone is rough and nice then they are cold. All cold, rough people are round. If someone is nice then they are round. If Gary is green then Gary is quiet. If someone is white then they are quiet. If someone is cold then they are green. If someone is round then they are cold. If Bob is nice then Bob is round.
Bob is not nice.
@0: Anne is cold.[(triple1)] Bob is nice.[(triple2)] Dave is nice.[(triple3)] Gary is rough.[(triple4)] @1: Anne is green.[(((triple1) -> rule6))] Bob is round.[(((triple2) -> rule3) OR ((triple2) -> rule8))] Dave is round.[(((triple3) -> rule3))] @2: Bob is cold.[(((((triple2) -> rule3)) -> rule7) OR ((((triple2) -> rule8)) -> rule7))] Dave is cold.[(((((triple3) -> rule3)) -> rule7))] @3: Bob is green.[(((((((triple2) -> rule3)) -> rule7)) -> rule6) OR ((((((triple2) -> rule8)) -> rule7)) -> rule6))] Dave is green.[(((((((triple3) -> rule3)) -> rule7)) -> rule6))]