Bob is cold. Bob is furry. Bob is not quiet. Bob is not young. Charlie is young. Gary is furry. Gary is not quiet. Gary is not red. Gary is round. Gary is young. If something is red and round then it is not young. All round, quiet things are young. Red, young things are cold. Quiet things are cold. If something is quiet and red then it is kind. Young things are not quiet.
Charlie is not young.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is not quiet.[(triple3)] Bob is not young.[(triple4)] Charlie is young.[(triple5)] Gary is furry.[(triple6)] Gary is not quiet.[(triple7 OR ((triple10) -> rule6))] Gary is not red.[(triple8)] Gary is round.[(triple9)] Gary is young.[(triple10)] @1: Charlie is not quiet.[(((triple5) -> rule6))]