Charlie is kind. Charlie is rough. Dave is blue. Dave is kind. Dave is red. Dave is rough. Harry is cold. Harry is kind. Harry is rough. Harry is white. If Charlie is cold then Charlie is blue. If something is white then it is rough. Kind things are cold.
Dave is cold.
@0: Charlie is kind.[(triple1)] Charlie is rough.[(triple2)] Dave is blue.[(triple3)] Dave is kind.[(triple4)] Dave is red.[(triple5)] Dave is rough.[(triple6)] Harry is cold.[(triple7 OR ((triple8) -> rule3))] Harry is kind.[(triple8)] Harry is rough.[(triple9 OR ((triple10) -> rule2))] Harry is white.[(triple10)] @1: Charlie is cold.[(((triple1) -> rule3))] Dave is cold.[(((triple4) -> rule3))] @2: Charlie is blue.[(((((triple1) -> rule3)) -> rule1))]