Charlie is cold. Charlie is furry. Charlie is kind. Charlie is red. Charlie is not young. Dave is round. Fiona is round. Harry is not furry. Harry is kind. Harry is round. Furry people are not round. If someone is furry and not young then they are cold.
Harry is blue.
@0: Charlie is cold.[(triple1 OR ((triple2 triple5) -> rule2))] Charlie is furry.[(triple2)] Charlie is kind.[(triple3)] Charlie is not young.[(triple5)] Charlie is red.[(triple4)] Dave is round.[(triple6)] Fiona is round.[(triple7)] Harry is kind.[(triple9)] Harry is not furry.[(triple8)] Harry is round.[(triple10)] @1: Charlie is not round.[(((triple2) -> rule1))]