Charlie is blue. Charlie is not green. Charlie is nice. Charlie is red. Charlie is young. Gary is not blue. Gary is not furry. Gary is green. Gary is not nice. Gary is not quiet. Gary is red. Gary is young. If Gary is green and Gary is nice then Gary is furry. All green, blue things are quiet. If something is furry and not nice then it is quiet. All furry things are not quiet. All furry things are green. If Charlie is green and Charlie is not nice then Charlie is not young. Young things are red. If something is quiet and not furry then it is red.
Charlie is blue.
@0: Charlie is blue.[(triple1)] Charlie is nice.[(triple3)] Charlie is not green.[(triple2)] Charlie is red.[(triple4 OR ((triple5) -> rule7))] Charlie is young.[(triple5)] Gary is green.[(triple8)] Gary is not blue.[(triple6)] Gary is not furry.[(triple7)] Gary is not nice.[(triple9)] Gary is not quiet.[(triple10)] Gary is red.[(triple11 OR ((triple12) -> rule7))] Gary is young.[(triple12)]