Anne is red. Anne is rough. Anne is round. Charlie is furry. Charlie is red. Fiona is furry. Harry is young. All round, young people are red. If someone is rough and not smart then they are red. Round, smart people are cold. Red, rough people are cold. If Charlie is rough then Charlie is furry. If Harry is cold then Harry is not round.
Harry is smart.
@0: Anne is red.[(triple1)] Anne is rough.[(triple2)] Anne is round.[(triple3)] Charlie is furry.[(triple4)] Charlie is red.[(triple5)] Fiona is furry.[(triple6)] Harry is young.[(triple7)] @1: Anne is cold.[(((triple1 triple2) -> rule4))]