Anne is kind. Charlie is not big. Charlie is not green. Charlie is white. Erin is big. Erin is green. Erin is white. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is white. If Erin is big and Erin is red then Erin is kind. All rough things are green. If something is kind then it is green. Quiet, green things are big. If something is rough and green then it is red. If something is green then it is rough. If Erin is red then Erin is green. All red, rough things are quiet. If something is quiet and not red then it is not white.
Anne is not quiet.
@0: Anne is kind.[(triple1)] Charlie is not big.[(triple2)] Charlie is not green.[(triple3)] Charlie is white.[(triple4)] Erin is big.[(triple5 OR ((((((((triple6) -> rule6) triple6) -> rule5) ((triple6) -> rule6)) -> rule8) triple6) -> rule4))] Erin is green.[(triple6)] Erin is white.[(triple7)] Fiona is green.[(triple8 OR ((triple9) -> rule3))] Fiona is kind.[(triple9)] Fiona is quiet.[(triple10 OR ((triple11 ((triple8) -> rule6)) -> rule8) OR ((triple11 ((((triple9) -> rule3)) -> rule6)) -> rule8) OR ((((((triple8) -> rule6) triple8) -> rule5) ((triple8) -> rule6)) -> rule8) OR ((((((triple8) -> rule6) triple8) -> rule5) ((((triple9) -> rule3)) -> rule6)) -> rule8) OR ((((((triple8) -> rule6) ((triple9) -> rule3)) -> rule5) ((triple8) -> rule6)) -> rule8) OR ((((((triple8) -> rule6) ((triple9) -> rule3)) -> rule5) ((((triple9) -> rule3)) -> rule6)) -> rule8) OR ((((((((triple9) -> rule3)) -> rule6) triple8) -> rule5) ((triple8) -> rule6)) -> rule8) OR ((((((((triple9) -> rule3)) -> rule6) triple8) -> rule5) ((((triple9) -> rule3)) -> rule6)) -> rule8) OR ((((((((triple9) -> rule3)) -> rule6) ((triple9) -> rule3)) -> rule5) ((triple8) -> rule6)) -> rule8) OR ((((((((triple9) -> rule3)) -> rule6) ((triple9) -> rule3)) -> rule5) ((((triple9) -> rule3)) -> rule6)) -> rule8))] Fiona is red.[(triple11 OR ((((triple8) -> rule6) triple8) -> rule5) OR ((((triple8) -> rule6) ((triple9) -> rule3)) -> rule5) OR ((((((triple9) -> rule3)) -> rule6) triple8) -> rule5) OR ((((((triple9) -> rule3)) -> rule6) ((triple9) -> rule3)) -> rule5))] Fiona is white.[(triple12)] @1: Anne is green.[(((triple1) -> rule3))] Erin is rough.[(((triple6) -> rule6))] Fiona is big.[(((triple10 triple8) -> rule4) OR ((triple10 ((triple9) -> rule3)) -> rule4) OR ((((triple11 ((triple8) -> rule6)) -> rule8) triple8) -> rule4) OR ((((triple11 ((triple8) -> rule6)) -> rule8) ((triple9) -> rule3)) -> rule4) OR ((((triple11 ((((triple9) -> rule3)) -> rule6)) -> rule8) triple8) -> rule4) OR ((((triple11 ((((triple9) -> rule3)) -> rule6)) -> rule8) ((triple9) -> rule3)) -> rule4) OR ((((((((triple8) -> rule6) triple8) -> rule5) ((triple8) -> rule6)) -> rule8) triple8) -> rule4) OR ((((((((triple8) -> rule6) triple8) -> rule5) ((triple8) -> rule6)) -> rule8) ((triple9) -> rule3)) -> rule4) OR ((((((((triple8) -> rule6) triple8) -> rule5) ((((triple9) -> rule3)) -> rule6)) -> rule8) triple8) -> rule4) OR ((((((((triple8) -> rule6) ((triple9) -> rule3)) -> rule5) ((triple8) -> rule6)) -> rule8) triple8) -> rule4) OR ((((((((triple8) -> rule6) triple8) -> rule5) ((((triple9) -> rule3)) -> rule6)) -> rule8) ((triple9) -> rule3)) -> rule4) OR ((((((((triple8) -> rule6) ((triple9) -> rule3)) -> rule5) ((triple8) -> rule6)) -> rule8) ((triple9) -> rule3)) -> rule4) OR ((((((((triple8) -> rule6) ((triple9) -> rule3)) -> rule5) ((((triple9) -> rule3)) -> rule6)) -> rule8) triple8) -> rule4) OR ((((((((triple8) -> rule6) ((triple9) -> rule3)) -> rule5) ((((triple9) -> rule3)) -> rule6)) -> rule8) ((triple9) -> rule3)) -> rule4) OR ((((((((((triple9) -> rule3)) -> rule6) triple8) -> rule5) ((triple8) -> rule6)) -> rule8) triple8) -> rule4) OR ((((((((((triple9) -> rule3)) -> rule6) triple8) -> rule5) ((triple8) -> rule6)) -> rule8) ((triple9) -> rule3)) -> rule4) OR ((((((((((triple9) -> rule3)) -> rule6) triple8) -> rule5) ((((triple9) -> rule3)) -> rule6)) -> rule8) triple8) -> rule4) OR ((((((((((triple9) -> rule3)) -> rule6) ((triple9) -> rule3)) -> rule5) ((triple8) -> rule6)) -> rule8) triple8) -> rule4) OR ((((((((((triple9) -> rule3)) -> rule6) triple8) -> rule5) ((((triple9) -> rule3)) -> rule6)) -> rule8) ((triple9) -> rule3)) -> rule4) OR ((((((((((triple9) -> rule3)) -> rule6) ((triple9) -> rule3)) -> rule5) ((triple8) -> rule6)) -> rule8) ((triple9) -> rule3)) -> rule4) OR ((((((((((triple9) -> rule3)) -> rule6) ((triple9) -> rule3)) -> rule5) ((((triple9) -> rule3)) -> rule6)) -> rule8) triple8) -> rule4) OR ((((((((((triple9) -> rule3)) -> rule6) ((triple9) -> rule3)) -> rule5) ((((triple9) -> rule3)) -> rule6)) -> rule8) ((triple9) -> rule3)) -> rule4))] Fiona is rough.[(((triple8) -> rule6) OR ((((triple9) -> rule3)) -> rule6))] @2: Anne is rough.[(((((triple1) -> rule3)) -> rule6))] Erin is red.[(((((triple6) -> rule6) triple6) -> rule5))] @3: Anne is red.[(((((((triple1) -> rule3)) -> rule6) ((triple1) -> rule3)) -> rule5))] Erin is kind.[(((triple5 ((((triple6) -> rule6) triple6) -> rule5)) -> rule1) OR ((((((((((triple6) -> rule6) triple6) -> rule5) ((triple6) -> rule6)) -> rule8) triple6) -> rule4) ((((triple6) -> rule6) triple6) -> rule5)) -> rule1))] Erin is quiet.[(((((((triple6) -> rule6) triple6) -> rule5) ((triple6) -> rule6)) -> rule8))] @4: Anne is quiet.[(((((((((triple1) -> rule3)) -> rule6) ((triple1) -> rule3)) -> rule5) ((((triple1) -> rule3)) -> rule6)) -> rule8))] @5: Anne is big.[(((((((((((triple1) -> rule3)) -> rule6) ((triple1) -> rule3)) -> rule5) ((((triple1) -> rule3)) -> rule6)) -> rule8) ((triple1) -> rule3)) -> rule4))]