Anne is green. Bob is cold. Bob is nice. Gary is cold. Gary is nice. Gary is quiet. Gary is round. Cold things are nice. If something is furry then it is nice.
Anne is not green.
@0: Anne is green.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3 OR ((triple2) -> rule1))] Gary is cold.[(triple4)] Gary is nice.[(triple5 OR ((triple4) -> rule1))] Gary is quiet.[(triple6)] Gary is round.[(triple7)]