Anne is not quiet. Charlie is nice. Dave is quiet. If something is nice then it is red. If Charlie is red and Charlie is nice then Charlie is quiet. Red, nice things are smart. If Dave is quiet then Dave is smart. All quiet things are young. If something is red and not young then it is big.
Dave is big.
@0: Anne is not quiet.[(triple1)] Charlie is nice.[(triple2)] Dave is quiet.[(triple3)] @1: Charlie is red.[(((triple2) -> rule1))] Dave is smart.[(((triple3) -> rule4))] Dave is young.[(((triple3) -> rule5))] @2: Charlie is quiet.[(((((triple2) -> rule1) triple2) -> rule2))] Charlie is smart.[(((((triple2) -> rule1) triple2) -> rule3))] @3: Charlie is young.[(((((((triple2) -> rule1) triple2) -> rule2)) -> rule5))]