Dave is nice. Dave is white. Gary is young. All young people are white. If someone is quiet and young then they are nice. If someone is green then they are red. All red, white people are quiet. Young, quiet people are big. All young people are nice. If Dave is white and Dave is nice then Dave is quiet. Green, nice people are quiet.
Gary is not red.
@0: Dave is nice.[(triple1)] Dave is white.[(triple2)] Gary is young.[(triple3)] @1: Dave is quiet.[(((triple2 triple1) -> rule7))] Gary is nice.[(((triple3) -> rule6))] Gary is white.[(((triple3) -> rule1))]