Charlie is green. Charlie is nice. Charlie is rough. Erin is green. Erin is round. Erin is smart. Erin is white. Erin is young. Harry is green. Harry is nice. Harry is rough. Harry is round. Harry is smart. Harry is white. Harry is young. All smart, rough things are green. If something is rough and round then it is white. All white things are green. Nice things are rough. Green things are round. All white, rough things are smart.
Charlie is smart.
@0: Charlie is green.[(triple1)] Charlie is nice.[(triple2)] Charlie is rough.[(triple3 OR ((triple2) -> rule4))] Erin is green.[(triple4 OR ((triple7) -> rule3))] Erin is round.[(triple5 OR ((triple4) -> rule5) OR ((((triple7) -> rule3)) -> rule5))] Erin is smart.[(triple6)] Erin is white.[(triple7)] Erin is young.[(triple8)] Harry is green.[(triple9 OR ((triple14) -> rule3) OR ((triple13 triple11) -> rule1) OR ((((triple11 triple12) -> rule2)) -> rule3) OR ((triple13 ((triple10) -> rule4)) -> rule1) OR ((((triple14 triple11) -> rule6) triple11) -> rule1) OR ((((triple14 triple11) -> rule6) ((triple10) -> rule4)) -> rule1) OR ((((((triple10) -> rule4) triple12) -> rule2)) -> rule3) OR ((((triple14 ((triple10) -> rule4)) -> rule6) triple11) -> rule1) OR ((((((triple11 triple12) -> rule2) triple11) -> rule6) triple11) -> rule1) OR ((((triple14 ((triple10) -> rule4)) -> rule6) ((triple10) -> rule4)) -> rule1) OR ((((((triple11 triple12) -> rule2) triple11) -> rule6) ((triple10) -> rule4)) -> rule1) OR ((((((triple11 triple12) -> rule2) ((triple10) -> rule4)) -> rule6) triple11) -> rule1) OR ((((((triple11 triple12) -> rule2) ((triple10) -> rule4)) -> rule6) ((triple10) -> rule4)) -> rule1) OR ((((((((triple10) -> rule4) triple12) -> rule2) triple11) -> rule6) triple11) -> rule1) OR ((((((((triple10) -> rule4) triple12) -> rule2) triple11) -> rule6) ((triple10) -> rule4)) -> rule1) OR ((((((((triple10) -> rule4) triple12) -> rule2) ((triple10) -> rule4)) -> rule6) triple11) -> rule1) OR ((((((((triple10) -> rule4) triple12) -> rule2) ((triple10) -> rule4)) -> rule6) ((triple10) -> rule4)) -> rule1))] Harry is nice.[(triple10)] Harry is rough.[(triple11 OR ((triple10) -> rule4))] Harry is round.[(triple12 OR ((triple9) -> rule5) OR ((((triple14) -> rule3)) -> rule5) OR ((((triple13 triple11) -> rule1)) -> rule5) OR ((((triple13 ((triple10) -> rule4)) -> rule1)) -> rule5) OR ((((((triple14 triple11) -> rule6) triple11) -> rule1)) -> rule5) OR ((((((triple14 triple11) -> rule6) ((triple10) -> rule4)) -> rule1)) -> rule5) OR ((((((triple14 ((triple10) -> rule4)) -> rule6) triple11) -> rule1)) -> rule5) OR ((((((triple14 ((triple10) -> rule4)) -> rule6) ((triple10) -> rule4)) -> rule1)) -> rule5))] Harry is smart.[(triple13 OR ((triple14 triple11) -> rule6) OR ((triple14 ((triple10) -> rule4)) -> rule6) OR ((((triple11 triple12) -> rule2) triple11) -> rule6) OR ((((triple11 triple12) -> rule2) ((triple10) -> rule4)) -> rule6) OR ((((triple11 ((triple9) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((triple10) -> rule4) triple12) -> rule2) triple11) -> rule6) OR ((((triple11 ((triple9) -> rule5)) -> rule2) ((triple10) -> rule4)) -> rule6) OR ((((((triple10) -> rule4) triple12) -> rule2) ((triple10) -> rule4)) -> rule6) OR ((((((triple10) -> rule4) ((triple9) -> rule5)) -> rule2) triple11) -> rule6) OR ((((((triple10) -> rule4) ((triple9) -> rule5)) -> rule2) ((triple10) -> rule4)) -> rule6))] Harry is white.[(triple14 OR ((triple11 triple12) -> rule2) OR ((triple11 ((triple9) -> rule5)) -> rule2) OR ((((triple10) -> rule4) triple12) -> rule2) OR ((((triple10) -> rule4) ((triple9) -> rule5)) -> rule2) OR ((triple11 ((((triple13 triple11) -> rule1)) -> rule5)) -> rule2) OR ((((triple10) -> rule4) ((((triple13 triple11) -> rule1)) -> rule5)) -> rule2) OR ((triple11 ((((triple13 ((triple10) -> rule4)) -> rule1)) -> rule5)) -> rule2) OR ((((triple10) -> rule4) ((((triple13 ((triple10) -> rule4)) -> rule1)) -> rule5)) -> rule2))] Harry is young.[(triple15)] @1: Charlie is round.[(((triple1) -> rule5))] @2: Charlie is white.[(((triple3 ((triple1) -> rule5)) -> rule2) OR ((((triple2) -> rule4) ((triple1) -> rule5)) -> rule2))] @3: Charlie is smart.[(((((triple3 ((triple1) -> rule5)) -> rule2) triple3) -> rule6) OR ((((triple3 ((triple1) -> rule5)) -> rule2) ((triple2) -> rule4)) -> rule6) OR ((((((triple2) -> rule4) ((triple1) -> rule5)) -> rule2) triple3) -> rule6) OR ((((((triple2) -> rule4) ((triple1) -> rule5)) -> rule2) ((triple2) -> rule4)) -> rule6))]