Anne is green. Anne is white. Erin is green. If Anne is blue then Anne is round. If something is round and green then it is furry. If something is kind then it is young. All young things are blue. Furry, white things are round. White things are round. If Anne is green and Anne is furry then Anne is kind. Young, round things are kind.
Erin is kind.
@0: Anne is green.[(triple1)] Anne is white.[(triple2)] Erin is green.[(triple3)] @1: Anne is round.[(((triple2) -> rule6))] @2: Anne is furry.[(((((triple2) -> rule6) triple1) -> rule2))] @3: Anne is kind.[(((triple1 ((((triple2) -> rule6) triple1) -> rule2)) -> rule7))] @4: Anne is young.[(((((triple1 ((((triple2) -> rule6) triple1) -> rule2)) -> rule7)) -> rule3))] @5: Anne is blue.[(((((((triple1 ((((triple2) -> rule6) triple1) -> rule2)) -> rule7)) -> rule3)) -> rule4))]