Dave is blue. Dave is cold. Dave is not furry. Dave is green. Dave is not kind. Dave is not nice. Dave is round. If someone is round then they are green. Round, cold people are not furry. All kind people are blue.
Dave is cold.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is green.[(triple4 OR ((triple7) -> rule1))] Dave is not furry.[(triple3 OR ((triple7 triple2) -> rule2))] Dave is not kind.[(triple5)] Dave is not nice.[(triple6)] Dave is round.[(triple7)]