Charlie is big. Erin is big. Fiona is blue. Harry is furry. Furry, blue things are red. All furry things are big. Young things are big. If something is furry then it is blue. Red, big things are green. If Fiona is green and Fiona is quiet then Fiona is red.
Fiona is furry.
@0: Charlie is big.[(triple1)] Erin is big.[(triple2)] Fiona is blue.[(triple3)] Harry is furry.[(triple4)] @1: Harry is big.[(((triple4) -> rule2))] Harry is blue.[(((triple4) -> rule4))] @2: Harry is red.[(((triple4 ((triple4) -> rule4)) -> rule1))] @3: Harry is green.[(((((triple4 ((triple4) -> rule4)) -> rule1) ((triple4) -> rule2)) -> rule5))]