Dave is blue. Dave is quiet. Dave is rough. Dave is smart. Dave is white. Fiona is round. Fiona is white. If something is cold and rough then it is white. If something is blue and white then it is smart. White, blue things are round.
Dave is cold.
@0: Dave is blue.[(triple1)] Dave is quiet.[(triple2)] Dave is rough.[(triple3)] Dave is smart.[(triple4 OR ((triple1 triple5) -> rule2))] Dave is white.[(triple5)] Fiona is round.[(triple6)] Fiona is white.[(triple7)] @1: Dave is round.[(((triple5 triple1) -> rule3))]