Bob is cold. Bob is quiet. Dave is cold. Dave is green. Dave is quiet. Dave is red. Dave is white. If someone is kind then they are red. If Dave is kind then Dave is white. Quiet, cold people are kind.
Bob is kind.
@0: Bob is cold.[(triple1)] Bob is quiet.[(triple2)] Dave is cold.[(triple3)] Dave is green.[(triple4)] Dave is quiet.[(triple5)] Dave is red.[(triple6 OR ((((triple5 triple3) -> rule3)) -> rule1))] Dave is white.[(triple7 OR ((((triple5 triple3) -> rule3)) -> rule2))] @1: Bob is kind.[(((triple2 triple1) -> rule3))] Dave is kind.[(((triple5 triple3) -> rule3))] @2: Bob is red.[(((((triple2 triple1) -> rule3)) -> rule1))]