Dave is blue. Dave is quiet. Dave is round. Dave is young. Erin is not nice. Erin is young. Gary is blue. If something is round and not quiet then it is kind. If Erin is white then Erin is young. If Dave is not white then Dave is kind. If something is blue and round then it is nice. All blue things are nice. If something is white and not young then it is nice.
Gary is kind.
@0: Dave is blue.[(triple1)] Dave is quiet.[(triple2)] Dave is round.[(triple3)] Dave is young.[(triple4)] Erin is not nice.[(triple5)] Erin is young.[(triple6)] Gary is blue.[(triple7)] @1: Dave is nice.[(((triple1) -> rule5) OR ((triple1 triple3) -> rule4))] Gary is nice.[(((triple7) -> rule5))]