Fiona is quiet. Fiona is smart. Fiona is white. Fiona is young. Harry is green. Harry is kind. Harry is quiet. Harry is rough. Harry is smart. Harry is white. All smart people are rough. Smart, rough people are kind.
Fiona is not smart.
@0: Fiona is quiet.[(triple1)] Fiona is smart.[(triple2)] Fiona is white.[(triple3)] Fiona is young.[(triple4)] Harry is green.[(triple5)] Harry is kind.[(triple6 OR ((triple9 triple8) -> rule2) OR ((triple9 ((triple9) -> rule1)) -> rule2))] Harry is quiet.[(triple7)] Harry is rough.[(triple8 OR ((triple9) -> rule1))] Harry is smart.[(triple9)] Harry is white.[(triple10)] @1: Fiona is rough.[(((triple2) -> rule1))] @2: Fiona is kind.[(((triple2 ((triple2) -> rule1)) -> rule2))]