Anne is quiet. Erin is round. Gary is red. All rough people are red. If someone is round then they are white. If Anne is rough then Anne is white. Red, white people are quiet. Red people are green. If someone is white then they are red. If someone is quiet then they are red. If Anne is quiet then Anne is kind.
Gary is kind.
@0: Anne is quiet.[(triple1)] Erin is round.[(triple2)] Gary is red.[(triple3)] @1: Anne is kind.[(((triple1) -> rule8))] Anne is red.[(((triple1) -> rule7))] Erin is white.[(((triple2) -> rule2))] Gary is green.[(((triple3) -> rule5))] @2: Anne is green.[(((((triple1) -> rule7)) -> rule5))] Erin is red.[(((((triple2) -> rule2)) -> rule6))] @3: Erin is green.[(((((((triple2) -> rule2)) -> rule6)) -> rule5))] Erin is quiet.[(((((((triple2) -> rule2)) -> rule6) ((triple2) -> rule2)) -> rule4))]