Fiona is white. Harry is kind. All furry people are kind. If someone is white and rough then they are furry. If someone is white then they are furry. All quiet, furry people are white. All kind people are blue. Furry people are kind.
Fiona is not blue.
@0: Fiona is white.[(triple1)] Harry is kind.[(triple2)] @1: Fiona is furry.[(((triple1) -> rule3))] Harry is blue.[(((triple2) -> rule5))] @2: Fiona is kind.[(((((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule3)) -> rule6))] @3: Fiona is blue.[(((((((triple1) -> rule3)) -> rule1)) -> rule5) OR ((((((triple1) -> rule3)) -> rule6)) -> rule5))]