Fiona is not round. Harry is green. Harry is round. Kind people are furry. All nice people are furry. Green, red people are furry. If someone is green and not nice then they are red. If someone is nice and not smart then they are not kind. Round people are kind. Green, nice people are kind. If someone is red and nice then they are green.
Harry is furry.
@0: Fiona is not round.[(triple1)] Harry is green.[(triple2)] Harry is round.[(triple3)] @1: Harry is kind.[(((triple3) -> rule6))] @2: Harry is furry.[(((((triple3) -> rule6)) -> rule1))]