Anne is big. Anne is furry. Anne is quiet. Anne is round. Anne is white. Anne is young. Bob is big. Bob is round. Bob is white. Charlie is big. Charlie is quiet. Charlie is round. Charlie is young. Harry is green. Harry is quiet. Harry is not white. Round, quiet people are young. If someone is young and not furry then they are white. If someone is round then they are not green. If Charlie is furry and Charlie is big then Charlie is round. All green people are big. If Bob is young then Bob is big.
Harry is not white.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6 OR ((triple4 triple3) -> rule1))] Bob is big.[(triple7)] Bob is round.[(triple8)] Bob is white.[(triple9)] Charlie is big.[(triple10)] Charlie is quiet.[(triple11)] Charlie is round.[(triple12)] Charlie is young.[(triple13 OR ((triple12 triple11) -> rule1))] Harry is green.[(triple14)] Harry is not white.[(triple16)] Harry is quiet.[(triple15)] @1: Anne is not green.[(((triple4) -> rule3))] Bob is not green.[(((triple8) -> rule3))] Charlie is not green.[(((triple12) -> rule3))] Harry is big.[(((triple14) -> rule5))]