Fiona is blue. Fiona is green. Fiona is quiet. Fiona is smart. Harry is not rough. Harry is round. Harry is smart. If something is round then it is quiet. Quiet, smart things are round. Green, rough things are round. If Fiona is blue and Fiona is quiet then Fiona is round. All blue things are kind. Rough things are kind. If something is rough then it is smart. If Fiona is quiet then Fiona is rough.
Fiona is not green.
@0: Fiona is blue.[(triple1)] Fiona is green.[(triple2)] Fiona is quiet.[(triple3)] Fiona is smart.[(triple4 OR ((((triple3) -> rule8)) -> rule7))] Harry is not rough.[(triple5)] Harry is round.[(triple6)] Harry is smart.[(triple7)] @1: Fiona is kind.[(((triple1) -> rule5) OR ((((triple3) -> rule8)) -> rule6))] Fiona is rough.[(((triple3) -> rule8))] Fiona is round.[(((triple1 triple3) -> rule4) OR ((triple3 triple4) -> rule2) OR ((triple2 ((triple3) -> rule8)) -> rule3) OR ((triple3 ((((triple3) -> rule8)) -> rule7)) -> rule2))] Harry is quiet.[(((triple6) -> rule1))]