Dave is quiet. Fiona is round. Gary is big. Blue, big people are kind. Big people are young. Quiet people are big. If Gary is big and Gary is quiet then Gary is young. Kind, young people are smart. All kind people are quiet.
Dave is not big.
@0: Dave is quiet.[(triple1)] Fiona is round.[(triple2)] Gary is big.[(triple3)] @1: Dave is big.[(((triple1) -> rule3))] Gary is young.[(((triple3) -> rule2))] @2: Dave is young.[(((((triple1) -> rule3)) -> rule2))]