Dave is young. Erin is blue. Fiona is quiet. If someone is white and red then they are blue. All quiet, green people are red. All white people are quiet. All young people are white. If Erin is red and Erin is quiet then Erin is blue. All white people are red. All white people are green. If someone is quiet then they are young.
Fiona is green.
@0: Dave is young.[(triple1)] Erin is blue.[(triple2)] Fiona is quiet.[(triple3)] @1: Dave is white.[(((triple1) -> rule4))] Fiona is young.[(((triple3) -> rule8))] @2: Dave is green.[(((((triple1) -> rule4)) -> rule7))] Dave is quiet.[(((((triple1) -> rule4)) -> rule3))] Dave is red.[(((((triple1) -> rule4)) -> rule6) OR ((((((triple1) -> rule4)) -> rule3) ((((triple1) -> rule4)) -> rule7)) -> rule2))] Fiona is white.[(((((triple3) -> rule8)) -> rule4))] @3: Dave is blue.[(((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule6)) -> rule1) OR ((((triple1) -> rule4) ((((((triple1) -> rule4)) -> rule3) ((((triple1) -> rule4)) -> rule7)) -> rule2)) -> rule1))] Fiona is green.[(((((((triple3) -> rule8)) -> rule4)) -> rule7))] Fiona is red.[(((((((triple3) -> rule8)) -> rule4)) -> rule6) OR ((triple3 ((((((triple3) -> rule8)) -> rule4)) -> rule7)) -> rule2))] @4: Fiona is blue.[(((((((triple3) -> rule8)) -> rule4) ((((((triple3) -> rule8)) -> rule4)) -> rule6)) -> rule1) OR ((((((triple3) -> rule8)) -> rule4) ((triple3 ((((((triple3) -> rule8)) -> rule4)) -> rule7)) -> rule2)) -> rule1))]