Erin is big. Erin is blue. Erin is green. Erin is quiet. Erin is red. Erin is young. Fiona is big. Fiona is blue. Fiona is green. Fiona is quiet. Fiona is red. Fiona is white. White, blue people are quiet. All red, white people are big. If Fiona is red then Fiona is blue. If someone is big then they are quiet. If someone is big then they are green. Green people are white.
Fiona is green.
@0: Erin is big.[(triple1 OR ((triple5 ((triple3) -> rule6)) -> rule2))] Erin is blue.[(triple2)] Erin is green.[(triple3 OR ((triple1) -> rule5))] Erin is quiet.[(triple4 OR ((triple1) -> rule4) OR ((((triple3) -> rule6) triple2) -> rule1) OR ((((triple5 ((triple3) -> rule6)) -> rule2)) -> rule4) OR ((((((triple1) -> rule5)) -> rule6) triple2) -> rule1))] Erin is red.[(triple5)] Erin is young.[(triple6)] Fiona is big.[(triple7 OR ((triple11 triple12) -> rule2) OR ((triple11 ((triple9) -> rule6)) -> rule2))] Fiona is blue.[(triple8 OR ((triple11) -> rule3))] Fiona is green.[(triple9 OR ((triple7) -> rule5) OR ((((triple11 triple12) -> rule2)) -> rule5))] Fiona is quiet.[(triple10 OR ((triple7) -> rule4) OR ((triple12 triple8) -> rule1) OR ((((triple11 triple12) -> rule2)) -> rule4) OR ((triple12 ((triple11) -> rule3)) -> rule1) OR ((((triple9) -> rule6) triple8) -> rule1) OR ((((triple9) -> rule6) ((triple11) -> rule3)) -> rule1) OR ((((triple11 ((triple9) -> rule6)) -> rule2)) -> rule4) OR ((((((triple7) -> rule5)) -> rule6) triple8) -> rule1) OR ((((((triple7) -> rule5)) -> rule6) ((triple11) -> rule3)) -> rule1))] Fiona is red.[(triple11)] Fiona is white.[(triple12 OR ((triple9) -> rule6) OR ((((triple7) -> rule5)) -> rule6))] @1: Erin is white.[(((triple3) -> rule6) OR ((((triple1) -> rule5)) -> rule6))]