Bob is cold. Dave is cold. If something is kind then it is not nice. If something is rough then it is not round. If Dave is cold and Dave is kind then Dave is white. Cold things are white. If something is cold then it is white. White things are kind. White, kind things are cold. If Dave is not kind and Dave is not white then Dave is round.
Bob is not cold.
@0: Bob is cold.[(triple1)] Dave is cold.[(triple2)] @1: Bob is white.[(((triple1) -> rule4) OR ((triple1) -> rule5))] Dave is white.[(((triple2) -> rule4) OR ((triple2) -> rule5))] @2: Bob is kind.[(((((triple1) -> rule4)) -> rule6) OR ((((triple1) -> rule5)) -> rule6))] Dave is kind.[(((((triple2) -> rule4)) -> rule6) OR ((((triple2) -> rule5)) -> rule6))] @3: Bob is not nice.[(((((((triple1) -> rule4)) -> rule6)) -> rule1) OR ((((((triple1) -> rule5)) -> rule6)) -> rule1))] Dave is not nice.[(((((((triple2) -> rule4)) -> rule6)) -> rule1) OR ((((((triple2) -> rule5)) -> rule6)) -> rule1))]