Anne is green. Anne is kind. Anne is red. Anne is white. Charlie is round. Harry is green. Harry is red. All nice people are kind. If someone is green and red then they are round. If Anne is white and Anne is round then Anne is green. If someone is white and red then they are furry. All nice people are white. Round people are kind.
Anne is red.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2 OR ((((triple1 triple3) -> rule2)) -> rule6))] Anne is red.[(triple3)] Anne is white.[(triple4)] Charlie is round.[(triple5)] Harry is green.[(triple6)] Harry is red.[(triple7)] @1: Anne is furry.[(((triple4 triple3) -> rule4))] Anne is round.[(((triple1 triple3) -> rule2))] Charlie is kind.[(((triple5) -> rule6))] Harry is round.[(((triple6 triple7) -> rule2))] @2: Harry is kind.[(((((triple6 triple7) -> rule2)) -> rule6))]