Charlie is big. Charlie is blue. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is white. Charlie is young. Erin is big. Erin is blue. Erin is furry. Erin is nice. Erin is quiet. Erin is white. Erin is young. Blue things are white. If Erin is nice then Erin is blue. Quiet, big things are nice. If something is nice and white then it is furry. All blue things are quiet. Quiet, white things are young.
Charlie is not white.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is furry.[(triple3 OR ((triple4 triple6) -> rule4) OR ((triple4 ((triple2) -> rule1)) -> rule4) OR ((((triple5 triple1) -> rule3) triple6) -> rule4) OR ((((triple5 triple1) -> rule3) ((triple2) -> rule1)) -> rule4) OR ((((((triple2) -> rule5) triple1) -> rule3) triple6) -> rule4) OR ((((((triple2) -> rule5) triple1) -> rule3) ((triple2) -> rule1)) -> rule4))] Charlie is nice.[(triple4 OR ((triple5 triple1) -> rule3) OR ((((triple2) -> rule5) triple1) -> rule3))] Charlie is quiet.[(triple5 OR ((triple2) -> rule5))] Charlie is white.[(triple6 OR ((triple2) -> rule1))] Charlie is young.[(triple7 OR ((triple5 triple6) -> rule6) OR ((triple5 ((triple2) -> rule1)) -> rule6) OR ((((triple2) -> rule5) triple6) -> rule6) OR ((((triple2) -> rule5) ((triple2) -> rule1)) -> rule6))] Erin is big.[(triple8)] Erin is blue.[(triple9 OR ((triple11) -> rule2) OR ((((triple12 triple8) -> rule3)) -> rule2))] Erin is furry.[(triple10 OR ((triple11 triple13) -> rule4) OR ((triple11 ((triple9) -> rule1)) -> rule4) OR ((((triple12 triple8) -> rule3) triple13) -> rule4) OR ((((triple12 triple8) -> rule3) ((triple9) -> rule1)) -> rule4) OR ((triple11 ((((triple11) -> rule2)) -> rule1)) -> rule4) OR ((((((triple9) -> rule5) triple8) -> rule3) triple13) -> rule4) OR ((((triple12 triple8) -> rule3) ((((triple11) -> rule2)) -> rule1)) -> rule4) OR ((((((triple9) -> rule5) triple8) -> rule3) ((triple9) -> rule1)) -> rule4) OR ((((((triple9) -> rule5) triple8) -> rule3) ((((triple11) -> rule2)) -> rule1)) -> rule4) OR ((triple11 ((((((triple12 triple8) -> rule3)) -> rule2)) -> rule1)) -> rule4) OR ((((triple12 triple8) -> rule3) ((((((triple12 triple8) -> rule3)) -> rule2)) -> rule1)) -> rule4) OR ((((((triple9) -> rule5) triple8) -> rule3) ((((((triple12 triple8) -> rule3)) -> rule2)) -> rule1)) -> rule4))] Erin is nice.[(triple11 OR ((triple12 triple8) -> rule3) OR ((((triple9) -> rule5) triple8) -> rule3))] Erin is quiet.[(triple12 OR ((triple9) -> rule5) OR ((((triple11) -> rule2)) -> rule5))] Erin is white.[(triple13 OR ((triple9) -> rule1) OR ((((triple11) -> rule2)) -> rule1) OR ((((((triple12 triple8) -> rule3)) -> rule2)) -> rule1))] Erin is young.[(triple14 OR ((triple12 triple13) -> rule6) OR ((triple12 ((triple9) -> rule1)) -> rule6) OR ((((triple9) -> rule5) triple13) -> rule6) OR ((((triple9) -> rule5) ((triple9) -> rule1)) -> rule6) OR ((triple12 ((((triple11) -> rule2)) -> rule1)) -> rule6) OR ((((((triple11) -> rule2)) -> rule5) triple13) -> rule6) OR ((((triple9) -> rule5) ((((triple11) -> rule2)) -> rule1)) -> rule6) OR ((((((triple11) -> rule2)) -> rule5) ((triple9) -> rule1)) -> rule6) OR ((((((triple11) -> rule2)) -> rule5) ((((triple11) -> rule2)) -> rule1)) -> rule6) OR ((triple12 ((((((triple12 triple8) -> rule3)) -> rule2)) -> rule1)) -> rule6) OR ((((triple9) -> rule5) ((((((triple12 triple8) -> rule3)) -> rule2)) -> rule1)) -> rule6) OR ((((((triple11) -> rule2)) -> rule5) ((((((triple12 triple8) -> rule3)) -> rule2)) -> rule1)) -> rule6))]