Anne is cold. Anne is furry. Anne is kind. Anne is quiet. Anne is young. Fiona is cold. Harry is furry. Harry is kind. Harry is nice. Harry is quiet. Harry is round. Harry is young. Round, quiet people are young. If someone is quiet and nice then they are cold.
Harry is not furry.
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4)] Anne is young.[(triple5)] Fiona is cold.[(triple6)] Harry is furry.[(triple7)] Harry is kind.[(triple8)] Harry is nice.[(triple9)] Harry is quiet.[(triple10)] Harry is round.[(triple11)] Harry is young.[(triple12 OR ((triple11 triple10) -> rule1))] @1: Harry is cold.[(((triple10 triple9) -> rule2))]