Anne is cold. Anne is kind. Anne is red. Anne is round. Fiona is big. Fiona is cold. Fiona is red. Fiona is round. Fiona is not white. Fiona is young. Harry is big. Harry is cold. Harry is kind. Harry is red. Harry is not white. Harry is not young. If Fiona is red then Fiona is kind. If Fiona is white then Fiona is not red. All white, big people are red. If someone is round then they are not white. All round, cold people are not white. All kind, white people are not big. If someone is white then they are not round. If someone is round then they are kind.
Harry is white.
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2 OR ((triple4) -> rule8))] Anne is red.[(triple3)] Anne is round.[(triple4)] Fiona is big.[(triple5)] Fiona is cold.[(triple6)] Fiona is not white.[(triple9 OR ((triple8) -> rule4) OR ((triple8 triple6) -> rule5))] Fiona is red.[(triple7)] Fiona is round.[(triple8)] Fiona is young.[(triple10)] Harry is big.[(triple11)] Harry is cold.[(triple12)] Harry is kind.[(triple13)] Harry is not white.[(triple15)] Harry is not young.[(triple16)] Harry is red.[(triple14)] @1: Anne is not white.[(((triple4) -> rule4) OR ((triple4 triple1) -> rule5))] Fiona is kind.[(((triple7) -> rule1) OR ((triple8) -> rule8))]