Bob is quiet. Bob is rough. Bob is not white. If someone is white and red then they are nice. All quiet people are green. Red people are green. If Bob is white then Bob is not rough. If Bob is green then Bob is nice. All nice, green people are kind.
Bob is not nice.
@0: Bob is not white.[(triple3)] Bob is quiet.[(triple1)] Bob is rough.[(triple2)] @1: Bob is green.[(((triple1) -> rule2))] @2: Bob is nice.[(((((triple1) -> rule2)) -> rule5))] @3: Bob is kind.[(((((((triple1) -> rule2)) -> rule5) ((triple1) -> rule2)) -> rule6))]