Anne is nice. Dave is green. Erin is green. Gary is smart. If Anne is blue then Anne is not nice. If Anne is round then Anne is nice. If something is smart then it is red. All round things are red. Smart things are round. If something is blue then it is round. If something is smart and not green then it is not nice. If something is green and not blue then it is not quiet.
Dave is green.
@0: Anne is nice.[(triple1)] Dave is green.[(triple2)] Erin is green.[(triple3)] Gary is smart.[(triple4)] @1: Gary is red.[(((triple4) -> rule3) OR ((((triple4) -> rule5)) -> rule4))] Gary is round.[(((triple4) -> rule5))]