Anne is cold. Anne is kind. Erin is cold. Erin is furry. Erin is not kind. Erin is rough. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is not kind. Fiona is red. Fiona is round. Harry is not cold. Harry is not furry. Harry is not kind. If someone is blue then they are round. If someone is red then they are rough. If someone is round and rough then they are red. If someone is kind then they are furry. If someone is cold and not round then they are not furry. If someone is rough and not round then they are furry.
Harry is not kind.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Erin is cold.[(triple3)] Erin is furry.[(triple4)] Erin is not kind.[(triple5)] Erin is rough.[(triple6)] Fiona is blue.[(triple7)] Fiona is cold.[(triple8)] Fiona is furry.[(triple9)] Fiona is not kind.[(triple10)] Fiona is red.[(triple11)] Fiona is round.[(triple12 OR ((triple7) -> rule1))] Harry is not cold.[(triple13)] Harry is not furry.[(triple14)] Harry is not kind.[(triple15)] @1: Anne is furry.[(((triple2) -> rule4))] Fiona is rough.[(((triple11) -> rule2))]