Anne is quiet. Dave is young. Gary is quiet. If someone is big then they are rough. All rough, young people are big. If someone is young then they are rough. If someone is big and rough then they are white. All rough, big people are white. If Anne is rough and Anne is quiet then Anne is young.
Dave is white.
@0: Anne is quiet.[(triple1)] Dave is young.[(triple2)] Gary is quiet.[(triple3)] @1: Dave is rough.[(((triple2) -> rule3))] @2: Dave is big.[(((((triple2) -> rule3) triple2) -> rule2))] @3: Dave is white.[(((((triple2) -> rule3) ((((triple2) -> rule3) triple2) -> rule2)) -> rule5) OR ((((((triple2) -> rule3) triple2) -> rule2) ((triple2) -> rule3)) -> rule4))]