Anne is kind. Anne is nice. Anne is smart. Fiona is round. Fiona is smart. Fiona is young. Harry is cold. Harry is furry. Harry is nice. Harry is smart. Kind, round people are furry. If Harry is smart and Harry is cold then Harry is furry. All young, smart people are furry.
Anne is not furry.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is smart.[(triple3)] Fiona is round.[(triple4)] Fiona is smart.[(triple5)] Fiona is young.[(triple6)] Harry is cold.[(triple7)] Harry is furry.[(triple8 OR ((triple10 triple7) -> rule2))] Harry is nice.[(triple9)] Harry is smart.[(triple10)] @1: Fiona is furry.[(((triple6 triple5) -> rule3))]