Bob is furry. Charlie is cold. Fiona is quiet. Harry is nice. Nice things are furry. All nice things are furry. If something is blue and kind then it is big. If Fiona is furry then Fiona is blue. If something is kind then it is blue. Furry things are not blue. If Fiona is nice then Fiona is big. If Charlie is furry and Charlie is big then Charlie is blue.
Fiona is nice.
@0: Bob is furry.[(triple1)] Charlie is cold.[(triple2)] Fiona is quiet.[(triple3)] Harry is nice.[(triple4)] @1: Bob is not blue.[(((triple1) -> rule6))] Harry is furry.[(((triple4) -> rule1) OR ((triple4) -> rule2))] @2: Harry is not blue.[(((((triple4) -> rule1)) -> rule6) OR ((((triple4) -> rule2)) -> rule6))]