Anne is furry. Anne is kind. Anne is red. Anne is white. Anne is young. Charlie is furry. Charlie is kind. Charlie is round. Charlie is smart. Charlie is white. Charlie is young. Harry is kind. Harry is round. Harry is smart. Harry is white. Harry is young. Young, white things are round. If something is round and smart then it is young.
Harry is red.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is red.[(triple3)] Anne is white.[(triple4)] Anne is young.[(triple5)] Charlie is furry.[(triple6)] Charlie is kind.[(triple7)] Charlie is round.[(triple8 OR ((triple11 triple10) -> rule1))] Charlie is smart.[(triple9)] Charlie is white.[(triple10)] Charlie is young.[(triple11 OR ((triple8 triple9) -> rule2))] Harry is kind.[(triple12)] Harry is round.[(triple13 OR ((triple16 triple15) -> rule1))] Harry is smart.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16 OR ((triple13 triple14) -> rule2))] @1: Anne is round.[(((triple5 triple4) -> rule1))]