Anne is furry. Anne is white. Bob is round. Bob is white. Erin is round. Erin is white. Erin is young. Harry is furry. Harry is round. Harry is white. All blue things are round. If Erin is blue and Erin is red then Erin is kind. If Harry is kind then Harry is blue. Furry things are white. If Bob is white then Bob is round. If Erin is red and Erin is kind then Erin is round.
Harry is not blue.
@0: Anne is furry.[(triple1)] Anne is white.[(triple2 OR ((triple1) -> rule4))] Bob is round.[(triple3 OR ((triple4) -> rule5))] Bob is white.[(triple4)] Erin is round.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)] Harry is furry.[(triple8)] Harry is round.[(triple9)] Harry is white.[(triple10 OR ((triple8) -> rule4))]