Fiona is rough. Fiona is round. Fiona is white. Harry is green. Harry is kind. Harry is round. Harry is smart. All smart people are nice. If Harry is smart and Harry is white then Harry is rough. If Harry is round then Harry is green. If someone is kind then they are white. If someone is white and rough then they are kind. If Fiona is green and Fiona is not kind then Fiona is not nice. If someone is kind and not rough then they are not green. Smart, kind people are green.
Fiona is not green.
@0: Fiona is rough.[(triple1)] Fiona is round.[(triple2)] Fiona is white.[(triple3)] Harry is green.[(triple4 OR ((triple6) -> rule3) OR ((triple7 triple5) -> rule8))] Harry is kind.[(triple5)] Harry is round.[(triple6)] Harry is smart.[(triple7)] @1: Fiona is kind.[(((triple3 triple1) -> rule5))] Harry is nice.[(((triple7) -> rule1))] Harry is white.[(((triple5) -> rule4))] @2: Harry is rough.[(((triple7 ((triple5) -> rule4)) -> rule2))]