Dave is not blue. Dave is cold. Dave is green. Dave is kind. Dave is not rough. Fiona is blue. Fiona is cold. Fiona is green. Fiona is kind. Fiona is smart. Harry is not blue. Harry is cold. Harry is not green. Harry is smart. Harry is not white. If Harry is smart and Harry is cold then Harry is not rough. All blue things are green. Kind things are green. If Harry is not blue then Harry is cold. If something is rough then it is kind. If something is rough and green then it is kind. If Dave is cold and Dave is not smart then Dave is kind. If Harry is not rough and Harry is not smart then Harry is white.
Fiona is green.
@0: Dave is cold.[(triple2)] Dave is green.[(triple3 OR ((triple4) -> rule3))] Dave is kind.[(triple4)] Dave is not blue.[(triple1)] Dave is not rough.[(triple5)] Fiona is blue.[(triple6)] Fiona is cold.[(triple7)] Fiona is green.[(triple8 OR ((triple6) -> rule2) OR ((triple9) -> rule3))] Fiona is kind.[(triple9)] Fiona is smart.[(triple10)] Harry is cold.[(triple12 OR ((triple11) -> rule4))] Harry is not blue.[(triple11)] Harry is not green.[(triple13)] Harry is not white.[(triple15)] Harry is smart.[(triple14)] @1: Harry is not rough.[(((triple14 triple12) -> rule1) OR ((triple14 ((triple11) -> rule4)) -> rule1))]