Charlie is big. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is white. Harry is big. Harry is quiet. Harry is rough. Harry is round. Harry is smart. Harry is white. Harry is young. If something is white and rough then it is young. Big things are white. All round things are rough. If something is quiet and round then it is white. All quiet things are young. If something is quiet and big then it is white. All quiet, smart things are young. All white, quiet things are smart.
Harry is not round.
@0: Charlie is big.[(triple1)] Charlie is quiet.[(triple2)] Charlie is rough.[(triple3)] Charlie is smart.[(triple4 OR ((triple5 triple2) -> rule8) OR ((((triple1) -> rule2) triple2) -> rule8) OR ((((triple2 triple1) -> rule6) triple2) -> rule8))] Charlie is white.[(triple5 OR ((triple1) -> rule2) OR ((triple2 triple1) -> rule6))] Harry is big.[(triple6)] Harry is quiet.[(triple7)] Harry is rough.[(triple8 OR ((triple9) -> rule3))] Harry is round.[(triple9)] Harry is smart.[(triple10 OR ((triple11 triple7) -> rule8) OR ((((triple6) -> rule2) triple7) -> rule8) OR ((((triple7 triple6) -> rule6) triple7) -> rule8) OR ((((triple7 triple9) -> rule4) triple7) -> rule8))] Harry is white.[(triple11 OR ((triple6) -> rule2) OR ((triple7 triple6) -> rule6) OR ((triple7 triple9) -> rule4))] Harry is young.[(triple12 OR ((triple7) -> rule5) OR ((triple11 triple8) -> rule1) OR ((triple7 triple10) -> rule7) OR ((triple11 ((triple9) -> rule3)) -> rule1) OR ((triple7 ((triple11 triple7) -> rule8)) -> rule7) OR ((((triple6) -> rule2) triple8) -> rule1) OR ((((triple7 triple6) -> rule6) triple8) -> rule1) OR ((((triple7 triple9) -> rule4) triple8) -> rule1) OR ((((triple6) -> rule2) ((triple9) -> rule3)) -> rule1) OR ((((triple7 triple6) -> rule6) ((triple9) -> rule3)) -> rule1) OR ((((triple7 triple9) -> rule4) ((triple9) -> rule3)) -> rule1) OR ((triple7 ((((triple6) -> rule2) triple7) -> rule8)) -> rule7) OR ((triple7 ((((triple7 triple6) -> rule6) triple7) -> rule8)) -> rule7) OR ((triple7 ((((triple7 triple9) -> rule4) triple7) -> rule8)) -> rule7))] @1: Charlie is young.[(((triple2) -> rule5) OR ((triple2 triple4) -> rule7) OR ((triple5 triple3) -> rule1) OR ((triple2 ((triple5 triple2) -> rule8)) -> rule7) OR ((((triple1) -> rule2) triple3) -> rule1) OR ((((triple2 triple1) -> rule6) triple3) -> rule1) OR ((triple2 ((((triple1) -> rule2) triple2) -> rule8)) -> rule7) OR ((triple2 ((((triple2 triple1) -> rule6) triple2) -> rule8)) -> rule7))]