Anne is not nice. Anne is round. Anne is smart. Gary is cold. Gary is green. Gary is not nice. Gary is round. If Gary is round and Gary is not smart then Gary is nice. If someone is smart and not red then they are not green. All green people are round.
Anne is round.
@0: Anne is not nice.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Gary is cold.[(triple4)] Gary is green.[(triple5)] Gary is not nice.[(triple6)] Gary is round.[(triple7 OR ((triple5) -> rule3))]