Fiona is blue. Fiona is furry. Fiona is red. Fiona is white. Harry is blue. Harry is kind. Harry is quiet. All blue, smart things are quiet. If something is red then it is furry.
Harry is kind.
@0: Fiona is blue.[(triple1)] Fiona is furry.[(triple2 OR ((triple3) -> rule2))] Fiona is red.[(triple3)] Fiona is white.[(triple4)] Harry is blue.[(triple5)] Harry is kind.[(triple6)] Harry is quiet.[(triple7)]