Dave is big. Erin is young. Gary is nice. Harry is nice. All green, young things are round. Quiet, green things are white. If something is quiet then it is big. If something is green and big then it is quiet. All round, quiet things are big. All white, round things are quiet. All green things are big. If Dave is big then Dave is young.
Harry is not nice.
@0: Dave is big.[(triple1)] Erin is young.[(triple2)] Gary is nice.[(triple3)] Harry is nice.[(triple4)] @1: Dave is young.[(((triple1) -> rule8))]