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