Charlie is kind. Gary is furry. Gary is nice. If someone is furry then they are blue. All red people are kind. All red people are kind. If Gary is nice and Gary is not furry then Gary is quiet. If someone is cold then they are red. Blue people are not quiet. If someone is cold then they are quiet. If someone is blue and not kind then they are quiet.
Gary is not furry.
@0: Charlie is kind.[(triple1)] Gary is furry.[(triple2)] Gary is nice.[(triple3)] @1: Gary is blue.[(((triple2) -> rule1))] @2: Gary is not quiet.[(((((triple2) -> rule1)) -> rule6))]