Charlie is red. Fiona is smart. Gary is quiet. Harry is quiet. Round, quiet people are red. If someone is furry and not kind then they are red. Smart people are not furry. If Charlie is kind then Charlie is smart. All nice, red people are quiet. If Gary is kind and Gary is nice then Gary is not red.
Harry is quiet.
@0: Charlie is red.[(triple1)] Fiona is smart.[(triple2)] Gary is quiet.[(triple3)] Harry is quiet.[(triple4)] @1: Fiona is not furry.[(((triple2) -> rule3))]