Charlie is quiet. Charlie is round. Charlie is white. Charlie is young. Gary is big. Gary is nice. Gary is quiet. Gary is rough. Gary is round. Gary is white. Gary is young. Harry is big. Harry is nice. Harry is quiet. Harry is rough. Harry is white. If Harry is young and Harry is rough then Harry is big. All white, big people are nice. All big people are white. All rough, quiet people are big. If Charlie is nice and Charlie is quiet then Charlie is rough. White, young people are big.
Harry is young.
@0: Charlie is quiet.[(triple1)] Charlie is round.[(triple2)] Charlie is white.[(triple3)] Charlie is young.[(triple4)] Gary is big.[(triple5 OR ((triple10 triple11) -> rule6) OR ((triple8 triple7) -> rule4))] Gary is nice.[(triple6 OR ((triple10 triple5) -> rule2) OR ((triple10 ((triple10 triple11) -> rule6)) -> rule2) OR ((triple10 ((triple8 triple7) -> rule4)) -> rule2) OR ((((triple5) -> rule3) triple5) -> rule2) OR ((((triple5) -> rule3) ((triple10 triple11) -> rule6)) -> rule2) OR ((((triple5) -> rule3) ((triple8 triple7) -> rule4)) -> rule2) OR ((((((triple8 triple7) -> rule4)) -> rule3) triple5) -> rule2) OR ((((((triple8 triple7) -> rule4)) -> rule3) ((triple10 triple11) -> rule6)) -> rule2) OR ((((((triple8 triple7) -> rule4)) -> rule3) ((triple8 triple7) -> rule4)) -> rule2))] Gary is quiet.[(triple7)] Gary is rough.[(triple8)] Gary is round.[(triple9)] Gary is white.[(triple10 OR ((triple5) -> rule3) OR ((((triple8 triple7) -> rule4)) -> rule3))] Gary is young.[(triple11)] Harry is big.[(triple12 OR ((triple15 triple14) -> rule4))] Harry is nice.[(triple13 OR ((triple16 triple12) -> rule2) OR ((triple16 ((triple15 triple14) -> rule4)) -> rule2) OR ((((triple12) -> rule3) triple12) -> rule2) OR ((((triple12) -> rule3) ((triple15 triple14) -> rule4)) -> rule2) OR ((((((triple15 triple14) -> rule4)) -> rule3) triple12) -> rule2) OR ((((((triple15 triple14) -> rule4)) -> rule3) ((triple15 triple14) -> rule4)) -> rule2))] Harry is quiet.[(triple14)] Harry is rough.[(triple15)] Harry is white.[(triple16 OR ((triple12) -> rule3) OR ((((triple15 triple14) -> rule4)) -> rule3))] @1: Charlie is big.[(((triple3 triple4) -> rule6))] @2: Charlie is nice.[(((triple3 ((triple3 triple4) -> rule6)) -> rule2))] @3: Charlie is rough.[(((((triple3 ((triple3 triple4) -> rule6)) -> rule2) triple1) -> rule5))]