Anne is round. Bob is cold. Bob is round. All cold, rough people are white. All nice, kind people are rough. Cold, kind people are white. If someone is red then they are rough. All round people are white. Round people are white.
Bob is not rough.
@0: Anne is round.[(triple1)] Bob is cold.[(triple2)] Bob is round.[(triple3)] @1: Anne is white.[(((triple1) -> rule5) OR ((triple1) -> rule6))] Bob is white.[(((triple3) -> rule5) OR ((triple3) -> rule6))]