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