Bob is green. Bob is not quiet. Dave is quiet. Quiet people are not white. All quiet people are kind. All red, quiet people are kind. If Dave is quiet then Dave is red. If someone is cold then they are green. Red people are cold.
Dave is cold.
@0: Bob is green.[(triple1)] Bob is not quiet.[(triple2)] Dave is quiet.[(triple3)] @1: Dave is kind.[(((triple3) -> rule2) OR ((((triple3) -> rule4) triple3) -> rule3))] Dave is not white.[(((triple3) -> rule1))] Dave is red.[(((triple3) -> rule4))] @2: Dave is cold.[(((((triple3) -> rule4)) -> rule6))] @3: Dave is green.[(((((((triple3) -> rule4)) -> rule6)) -> rule5))]