Anne is green. Anne is round. Dave is red. Gary is green. Gary is young. Harry is red. Harry is young. All furry, young people are not green. All young, round people are blue. If someone is red and kind then they are round. Green, kind people are round. If someone is green and round then they are kind. All red people are kind. All furry people are red. All blue, young people are furry. If Anne is young then Anne is kind.
Harry is furry.
@0: Anne is green.[(triple1)] Anne is round.[(triple2)] Dave is red.[(triple3)] Gary is green.[(triple4)] Gary is young.[(triple5)] Harry is red.[(triple6)] Harry is young.[(triple7)] @1: Anne is kind.[(((triple1 triple2) -> rule5))] Dave is kind.[(((triple3) -> rule6))] Harry is kind.[(((triple6) -> rule6))] @2: Dave is round.[(((triple3 ((triple3) -> rule6)) -> rule3))] Harry is round.[(((triple6 ((triple6) -> rule6)) -> rule3))] @3: Harry is blue.[(((triple7 ((triple6 ((triple6) -> rule6)) -> rule3)) -> rule2))] @4: Harry is furry.[(((((triple7 ((triple6 ((triple6) -> rule6)) -> rule3)) -> rule2) triple7) -> rule8))] @5: Harry is not green.[(((((((triple7 ((triple6 ((triple6) -> rule6)) -> rule3)) -> rule2) triple7) -> rule8) triple7) -> rule1))]