Fiona is young. Gary is furry. Gary is round. If someone is white and round then they are not smart. If someone is white and young then they are not red. Smart people are nice. If someone is nice then they are not white. If Fiona is white and Fiona is nice then Fiona is smart. Young people are furry. Nice people are not furry. If someone is round and not white then they are furry.
Gary is smart.
@0: Fiona is young.[(triple1)] Gary is furry.[(triple2)] Gary is round.[(triple3)] @1: Fiona is furry.[(((triple1) -> rule6))]