Bob is green. Dave is rough. Harry is cold. If someone is smart then they are quiet. If someone is smart then they are quiet. If someone is smart and not blue then they are green. Cold people are smart. If someone is quiet and smart then they are rough. If Dave is blue and Dave is rough then Dave is not big.
Dave is not rough.
@0: Bob is green.[(triple1)] Dave is rough.[(triple2)] Harry is cold.[(triple3)] @1: Harry is smart.[(((triple3) -> rule4))] @2: Harry is quiet.[(((((triple3) -> rule4)) -> rule1) OR ((((triple3) -> rule4)) -> rule2))] @3: Harry is rough.[(((((((triple3) -> rule4)) -> rule1) ((triple3) -> rule4)) -> rule5) OR ((((((triple3) -> rule4)) -> rule2) ((triple3) -> rule4)) -> rule5))]