Anne is green. Anne is rough. Erin is furry. Erin is green. Erin is rough. Fiona is furry. Harry is green. Cold people are green. If Anne is green then Anne is kind. If someone is rough and green then they are blue. If someone is blue then they are rough. If Anne is red then Anne is blue. Red people are green. If someone is cold and rough then they are green. If someone is furry then they are cold.
Harry is green.
@0: Anne is green.[(triple1)] Anne is rough.[(triple2)] Erin is furry.[(triple3)] Erin is green.[(triple4 OR ((((triple3) -> rule8)) -> rule1) OR ((((triple3) -> rule8) triple5) -> rule7))] Erin is rough.[(triple5)] Fiona is furry.[(triple6)] Harry is green.[(triple7)] @1: Anne is blue.[(((triple2 triple1) -> rule3))] Anne is kind.[(((triple1) -> rule2))] Erin is blue.[(((triple5 triple4) -> rule3) OR ((triple5 ((((triple3) -> rule8)) -> rule1)) -> rule3) OR ((triple5 ((((triple3) -> rule8) triple5) -> rule7)) -> rule3))] Erin is cold.[(((triple3) -> rule8))] Fiona is cold.[(((triple6) -> rule8))] @2: Fiona is green.[(((((triple6) -> rule8)) -> rule1))]