Dave is kind. Dave is not nice. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is rough. Fiona is white. Harry is cold. Harry is kind. Harry is not rough. If someone is white and not green then they are cold. All rough people are cold. Young, nice people are cold.
Dave is not cold.
@0: Dave is kind.[(triple1)] Dave is not nice.[(triple2)] Fiona is cold.[(triple3 OR ((triple6) -> rule2))] Fiona is kind.[(triple4)] Fiona is nice.[(triple5)] Fiona is rough.[(triple6)] Fiona is white.[(triple7)] Harry is cold.[(triple8)] Harry is kind.[(triple9)] Harry is not rough.[(triple10)]