Anne is cold. Anne is quiet. Anne is rough. Bob is cold. Bob is kind. Dave is blue. Dave is cold. Dave is rough. Dave is smart. Dave is white. Smart things are cold. All cold, white things are rough. If something is kind and rough then it is smart.
Anne is white.
@0: Anne is cold.[(triple1)] Anne is quiet.[(triple2)] Anne is rough.[(triple3)] Bob is cold.[(triple4)] Bob is kind.[(triple5)] Dave is blue.[(triple6)] Dave is cold.[(triple7 OR ((triple9) -> rule1))] Dave is rough.[(triple8 OR ((triple7 triple10) -> rule2) OR ((((triple9) -> rule1) triple10) -> rule2))] Dave is smart.[(triple9)] Dave is white.[(triple10)]