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