Anne is furry. Dave is furry. Dave is not round. Dave is young. Fiona is cold. Fiona is kind. Fiona is red. Fiona is round. Fiona is young. Gary is not furry. Gary is not kind. Gary is red. If Gary is not kind then Gary is red. All furry things are young. If something is young then it is red. If Anne is red then Anne is young. If something is young and not red then it is round. All cold, furry things are round.
Anne is not furry.
@0: Anne is furry.[(triple1)] Dave is furry.[(triple2)] Dave is not round.[(triple3)] Dave is young.[(triple4 OR ((triple2) -> rule2))] Fiona is cold.[(triple5)] Fiona is kind.[(triple6)] Fiona is red.[(triple7 OR ((triple9) -> rule3))] Fiona is round.[(triple8)] Fiona is young.[(triple9)] Gary is not furry.[(triple10)] Gary is not kind.[(triple11)] Gary is red.[(triple12 OR ((triple11) -> rule1))] @1: Anne is young.[(((triple1) -> rule2))] Dave is red.[(((triple4) -> rule3) OR ((((triple2) -> rule2)) -> rule3))] @2: Anne is red.[(((((triple1) -> rule2)) -> rule3))]