Erin is blue. Erin is furry. Erin is red. Erin is not white. Fiona is not blue. Fiona is round. Fiona is not white. Gary is round. Gary is not young. Harry is blue. Harry is not white. Harry is not young. If something is furry and not young then it is green. All young things are not green. All blue things are green. If something is round and not furry then it is green. Blue, green things are red. All white, green things are red. If Gary is white and Gary is furry then Gary is green. All young things are blue.
Gary is not furry.
@0: Erin is blue.[(triple1)] Erin is furry.[(triple2)] Erin is not white.[(triple4)] Erin is red.[(triple3 OR ((triple1 ((triple1) -> rule3)) -> rule5))] Fiona is not blue.[(triple5)] Fiona is not white.[(triple7)] Fiona is round.[(triple6)] Gary is not young.[(triple9)] Gary is round.[(triple8)] Harry is blue.[(triple10)] Harry is not white.[(triple11)] Harry is not young.[(triple12)] @1: Erin is green.[(((triple1) -> rule3))] Harry is green.[(((triple10) -> rule3))] @2: Harry is red.[(((triple10 ((triple10) -> rule3)) -> rule5))]