Anne is furry. Anne is red. Anne is round. Anne is young. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is rough. Fiona is young. Gary is kind. Gary is rough. Gary is round. Gary is young. Harry is kind. Harry is red. Harry is young. If Anne is kind then Anne is rough. If Gary is round then Gary is furry. If Fiona is rough and Fiona is furry then Fiona is round. If Anne is furry and Anne is cold then Anne is young. If something is cold and furry then it is rough. If Gary is kind and Gary is furry then Gary is young. All furry, cold things are rough. If Gary is round and Gary is cold then Gary is young.
Anne is not furry.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Anne is young.[(triple4)] Fiona is cold.[(triple5)] Fiona is furry.[(triple6)] Fiona is kind.[(triple7)] Fiona is rough.[(triple8 OR ((triple5 triple6) -> rule5) OR ((triple6 triple5) -> rule7))] Fiona is young.[(triple9)] Gary is kind.[(triple10)] Gary is rough.[(triple11)] Gary is round.[(triple12)] Gary is young.[(triple13 OR ((triple10 ((triple12) -> rule2)) -> rule6))] Harry is kind.[(triple14)] Harry is red.[(triple15)] Harry is young.[(triple16)] @1: Fiona is round.[(((triple8 triple6) -> rule3) OR ((((triple5 triple6) -> rule5) triple6) -> rule3) OR ((((triple6 triple5) -> rule7) triple6) -> rule3))] Gary is furry.[(((triple12) -> rule2))]