Bob is not quiet. Bob is smart. Charlie is kind. Charlie is red. Charlie is smart. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is not smart. Harry is quiet. Red things are kind.
Fiona is not smart.
@0: Bob is not quiet.[(triple1)] Bob is smart.[(triple2)] Charlie is kind.[(triple3 OR ((triple4) -> rule1))] Charlie is red.[(triple4)] Charlie is smart.[(triple5)] Fiona is not smart.[(triple9)] Fiona is quiet.[(triple6)] Fiona is rough.[(triple7)] Fiona is round.[(triple8)] Harry is quiet.[(triple10)]