Anne is big. Charlie is green. Fiona is green. Harry is round. If Anne is green then Anne is young. If someone is blue then they are big. All blue, young people are not rough. If Harry is furry then Harry is blue. All round people are blue. If Charlie is rough and Charlie is not big then Charlie is furry.
Fiona is furry.
@0: Anne is big.[(triple1)] Charlie is green.[(triple2)] Fiona is green.[(triple3)] Harry is round.[(triple4)] @1: Harry is blue.[(((triple4) -> rule5))] @2: Harry is big.[(((((triple4) -> rule5)) -> rule2))]