Anne is blue. Anne is furry. Anne is rough. Dave is not furry. Dave is quiet. Fiona is not nice. Gary is nice. If someone is blue then they are rough. All smart people are nice. If someone is cold and nice then they are blue.
Gary is cold.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is rough.[(triple3 OR ((triple1) -> rule1))] Dave is not furry.[(triple4)] Dave is quiet.[(triple5)] Fiona is not nice.[(triple6)] Gary is nice.[(triple7)]