Fiona is round. Harry is green. If Fiona is green and Fiona is blue then Fiona is not round. If Fiona is furry and Fiona is kind then Fiona is round. All green things are kind. If something is furry then it is not kind. If something is furry and not green then it is blue. Blue things are cold. Green, smart things are cold. If something is furry and not kind then it is smart.
Harry is green.
@0: Fiona is round.[(triple1)] Harry is green.[(triple2)] @1: Harry is kind.[(((triple2) -> rule3))]