Bob is cold. Bob is red. Dave is green. Dave is not kind. Dave is nice. Dave is red. Dave is white. If someone is cold then they are nice. If Dave is green and Dave is not nice then Dave is not rough. If someone is rough and not cold then they are white. If someone is nice then they are white. White people are green. If someone is rough and not nice then they are green.
Bob is not white.
@0: Bob is cold.[(triple1)] Bob is red.[(triple2)] Dave is green.[(triple3 OR ((triple7) -> rule5) OR ((((triple5) -> rule4)) -> rule5))] Dave is nice.[(triple5)] Dave is not kind.[(triple4)] Dave is red.[(triple6)] Dave is white.[(triple7 OR ((triple5) -> rule4))] @1: Bob is nice.[(((triple1) -> rule1))] @2: Bob is white.[(((((triple1) -> rule1)) -> rule4))] @3: Bob is green.[(((((((triple1) -> rule1)) -> rule4)) -> rule5))]