Dave is quiet. All rough things are green. If Dave is smart and Dave is rough then Dave is green. If something is smart and quiet then it is red. All green, rough things are red. If Dave is quiet then Dave is kind. If something is kind then it is rough. Quiet, green things are not round. Quiet, rough things are not round.
Dave is round.
@0: Dave is quiet.[(triple1)] @1: Dave is kind.[(((triple1) -> rule5))] @2: Dave is rough.[(((((triple1) -> rule5)) -> rule6))] @3: Dave is green.[(((((((triple1) -> rule5)) -> rule6)) -> rule1))] Dave is not round.[(((triple1 ((((triple1) -> rule5)) -> rule6)) -> rule8) OR ((triple1 ((((((triple1) -> rule5)) -> rule6)) -> rule1)) -> rule7))] @4: Dave is red.[(((((((((triple1) -> rule5)) -> rule6)) -> rule1) ((((triple1) -> rule5)) -> rule6)) -> rule4))]