Anne is quiet. Erin is green. Gary is green. Quiet people are round. Green people are quiet. Young people are not nice. All quiet people are nice. All nice, red people are not blue. If someone is green and not quiet then they are not red. Round, nice people are red. Green people are red.
Erin is blue.
@0: Anne is quiet.[(triple1)] Erin is green.[(triple2)] Gary is green.[(triple3)] @1: Anne is nice.[(((triple1) -> rule4))] Anne is round.[(((triple1) -> rule1))] Erin is quiet.[(((triple2) -> rule2))] Erin is red.[(((triple2) -> rule8) OR ((((((triple2) -> rule2)) -> rule1) ((((triple2) -> rule2)) -> rule4)) -> rule7))] Gary is quiet.[(((triple3) -> rule2))] Gary is red.[(((triple3) -> rule8) OR ((((((triple3) -> rule2)) -> rule1) ((((triple3) -> rule2)) -> rule4)) -> rule7))] @2: Anne is red.[(((((triple1) -> rule1) ((triple1) -> rule4)) -> rule7))] Erin is nice.[(((((triple2) -> rule2)) -> rule4))] Erin is round.[(((((triple2) -> rule2)) -> rule1))] Gary is nice.[(((((triple3) -> rule2)) -> rule4))] Gary is round.[(((((triple3) -> rule2)) -> rule1))] @3: Anne is not blue.[(((((triple1) -> rule4) ((((triple1) -> rule1) ((triple1) -> rule4)) -> rule7)) -> rule5))] Erin is not blue.[(((((((triple2) -> rule2)) -> rule4) ((triple2) -> rule8)) -> rule5) OR ((((((triple2) -> rule2)) -> rule4) ((((((triple2) -> rule2)) -> rule1) ((((triple2) -> rule2)) -> rule4)) -> rule7)) -> rule5))] Gary is not blue.[(((((((triple3) -> rule2)) -> rule4) ((triple3) -> rule8)) -> rule5) OR ((((((triple3) -> rule2)) -> rule4) ((((((triple3) -> rule2)) -> rule1) ((((triple3) -> rule2)) -> rule4)) -> rule7)) -> rule5))]