Anne is green. Dave is big. Dave is quiet. If Dave is green and Dave is big then Dave is kind. If someone is kind and big then they are rough. If someone is furry then they are big. If someone is furry then they are kind. Big people are green. All green, rough people are kind.
Anne is not rough.
@0: Anne is green.[(triple1)] Dave is big.[(triple2)] Dave is quiet.[(triple3)] @1: Dave is green.[(((triple2) -> rule5))] @2: Dave is kind.[(((((triple2) -> rule5) triple2) -> rule1))] @3: Dave is rough.[(((((((triple2) -> rule5) triple2) -> rule1) triple2) -> rule2))]