Bob is blue. Charlie is red. Dave is not kind. Gary is red. Big things are blue. Nice things are blue. If Dave is young and Dave is not red then Dave is nice. If something is big and not red then it is not quiet. If something is big then it is quiet. All red things are not nice. Blue, kind things are nice. If Gary is kind and Gary is red then Gary is nice.
Gary is kind.
@0: Bob is blue.[(triple1)] Charlie is red.[(triple2)] Dave is not kind.[(triple3)] Gary is red.[(triple4)] @1: Charlie is not nice.[(((triple2) -> rule6))] Gary is not nice.[(((triple4) -> rule6))]