Bob is kind. Bob is red. Gary is quiet. If something is quiet and blue then it is round. All red things are young. If something is blue then it is red.
Gary is not young.
@0: Bob is kind.[(triple1)] Bob is red.[(triple2)] Gary is quiet.[(triple3)] @1: Bob is young.[(((triple2) -> rule2))]