Anne is kind. Dave is kind. If someone is kind then they are quiet. If someone is round and nice then they are not quiet. If Anne is round then Anne is big. Green people are round. If Dave is quiet and Dave is kind then Dave is green. If Anne is round and Anne is not green then Anne is not smart.
Dave is not smart.
@0: Anne is kind.[(triple1)] Dave is kind.[(triple2)] @1: Anne is quiet.[(((triple1) -> rule1))] Dave is quiet.[(((triple2) -> rule1))] @2: Dave is green.[(((((triple2) -> rule1) triple2) -> rule5))] @3: Dave is round.[(((((((triple2) -> rule1) triple2) -> rule5)) -> rule4))]