Charlie is kind. Charlie is nice. Charlie is round. Charlie is not white. Dave is kind. Dave is round. Dave is not smart. Gary is nice. Gary is white. Harry is round. If something is green then it is white. If something is smart and white then it is not round. If something is white then it is round. All white, smart things are furry. If something is round then it is furry. If Harry is furry then Harry is green. All white things are nice. If something is smart and not furry then it is nice. If something is nice and round then it is kind.
Harry is not white.
@0: Charlie is kind.[(triple1 OR ((triple2 triple3) -> rule9))] Charlie is nice.[(triple2)] Charlie is not white.[(triple4)] Charlie is round.[(triple3)] Dave is kind.[(triple5)] Dave is not smart.[(triple7)] Dave is round.[(triple6)] Gary is nice.[(triple8 OR ((triple9) -> rule7))] Gary is white.[(triple9)] Harry is round.[(triple10)] @1: Charlie is furry.[(((triple3) -> rule5))] Dave is furry.[(((triple6) -> rule5))] Gary is round.[(((triple9) -> rule3))] Harry is furry.[(((triple10) -> rule5))] @2: Gary is furry.[(((((triple9) -> rule3)) -> rule5))] Gary is kind.[(((triple8 ((triple9) -> rule3)) -> rule9) OR ((((triple9) -> rule7) ((triple9) -> rule3)) -> rule9))] Harry is green.[(((((triple10) -> rule5)) -> rule6))] @3: Harry is white.[(((((((triple10) -> rule5)) -> rule6)) -> rule1))] @4: Harry is nice.[(((((((((triple10) -> rule5)) -> rule6)) -> rule1)) -> rule7))] @5: Harry is kind.[(((((((((((triple10) -> rule5)) -> rule6)) -> rule1)) -> rule7) triple10) -> rule9))]