Dave is cold. Dave is kind. Dave is rough. Dave is smart. Dave is white. Fiona is kind. Fiona is round. Rough, cold people are blue. If someone is rough and smart then they are blue.
Fiona is not blue.
@0: Dave is cold.[(triple1)] Dave is kind.[(triple2)] Dave is rough.[(triple3)] Dave is smart.[(triple4)] Dave is white.[(triple5)] Fiona is kind.[(triple6)] Fiona is round.[(triple7)] @1: Dave is blue.[(((triple3 triple1) -> rule1) OR ((triple3 triple4) -> rule2))]