Bob is quiet. Charlie is blue. Fiona is blue. Harry is kind. If something is kind then it is furry. All round, green things are not big. Kind, furry things are round. If Bob is kind then Bob is big. If Harry is quiet then Harry is green. If Fiona is not kind and Fiona is not round then Fiona is big. If something is big then it is blue. If something is round then it is blue.
Fiona is furry.
@0: Bob is quiet.[(triple1)] Charlie is blue.[(triple2)] Fiona is blue.[(triple3)] Harry is kind.[(triple4)] @1: Harry is furry.[(((triple4) -> rule1))] @2: Harry is round.[(((triple4 ((triple4) -> rule1)) -> rule3))] @3: Harry is blue.[(((((triple4 ((triple4) -> rule1)) -> rule3)) -> rule8))]