Dave is blue. Erin is quiet. Gary is kind. Harry is quiet. Green things are blue. If something is green and not round then it is blue. All round, quiet things are not nice. If Dave is blue then Dave is rough. If something is nice and not kind then it is quiet. All nice, blue things are green.
Harry is round.
@0: Dave is blue.[(triple1)] Erin is quiet.[(triple2)] Gary is kind.[(triple3)] Harry is quiet.[(triple4)] @1: Dave is rough.[(((triple1) -> rule4))]