Anne is furry. Anne is green. Anne is red. Anne is young. Dave is furry. Dave is young. Fiona is furry. Fiona is young. Gary is cold. Gary is round. If someone is red and round then they are not young. Cold people are not young. All furry people are red. All cold people are furry. If Gary is red then Gary is green. If someone is cold and not furry then they are green.
Dave is not green.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is red.[(triple3 OR ((triple1) -> rule3))] Anne is young.[(triple4)] Dave is furry.[(triple5)] Dave is young.[(triple6)] Fiona is furry.[(triple7)] Fiona is young.[(triple8)] Gary is cold.[(triple9)] Gary is round.[(triple10)] @1: Dave is red.[(((triple5) -> rule3))] Fiona is red.[(((triple7) -> rule3))] Gary is furry.[(((triple9) -> rule4))] Gary is not young.[(((triple9) -> rule2) OR ((((((triple9) -> rule4)) -> rule3) triple10) -> rule1))] @2: Gary is red.[(((((triple9) -> rule4)) -> rule3))] @3: Gary is green.[(((((((triple9) -> rule4)) -> rule3)) -> rule5))]