Erin is not furry. Erin is white. Erin is not young. Fiona is not furry. Fiona is nice. Fiona is white. Gary is blue. Gary is kind. Gary is nice. Gary is young. Harry is not blue. Harry is not furry. Harry is not kind. Harry is nice. Harry is round. If someone is furry and round then they are not kind. Kind, round people are blue. Young, round people are blue. All round, blue people are not white. If Fiona is kind then Fiona is furry. If someone is blue then they are round.
Gary is not furry.
@0: Erin is not furry.[(triple1)] Erin is not young.[(triple3)] Erin is white.[(triple2)] Fiona is nice.[(triple5)] Fiona is not furry.[(triple4)] Fiona is white.[(triple6)] Gary is blue.[(triple7)] Gary is kind.[(triple8)] Gary is nice.[(triple9)] Gary is young.[(triple10)] Harry is nice.[(triple14)] Harry is not blue.[(triple11)] Harry is not furry.[(triple12)] Harry is not kind.[(triple13)] Harry is round.[(triple15)] @1: Gary is round.[(((triple7) -> rule6))] @2: Gary is not white.[(((((triple7) -> rule6) triple7) -> rule4))]