Bob is rough. Dave is smart. Harry is green. All rough, blue people are quiet. If someone is smart and green then they are blue. Smart people are green. All green people are kind. All blue people are green. If someone is green then they are blue.
Harry is not green.
@0: Bob is rough.[(triple1)] Dave is smart.[(triple2)] Harry is green.[(triple3)] @1: Dave is green.[(((triple2) -> rule3))] Harry is blue.[(((triple3) -> rule6))] Harry is kind.[(((triple3) -> rule4))] @2: Dave is blue.[(((((triple2) -> rule3)) -> rule6) OR ((triple2 ((triple2) -> rule3)) -> rule2))] Dave is kind.[(((((triple2) -> rule3)) -> rule4))]