Anne is green. Fiona is round. Harry is furry. Nice people are cold. Furry people are green. If someone is cold and round then they are blue. If Anne is cold and Anne is blue then Anne is furry. Furry people are big. If Anne is nice then Anne is round. If Anne is blue and Anne is nice then Anne is furry. All big, green people are cold.
Fiona is round.
@0: Anne is green.[(triple1)] Fiona is round.[(triple2)] Harry is furry.[(triple3)] @1: Harry is big.[(((triple3) -> rule5))] Harry is green.[(((triple3) -> rule2))] @2: Harry is cold.[(((((triple3) -> rule5) ((triple3) -> rule2)) -> rule8))]