Bob is nice. Bob is white. Fiona is nice. Fiona is white. Harry is blue. Harry is kind. Harry is not nice. Harry is quiet. Harry is red. Harry is not smart. If Fiona is blue and Fiona is not kind then Fiona is quiet. Blue, red things are quiet. Nice, blue things are not quiet.
Fiona is not quiet.
@0: Bob is nice.[(triple1)] Bob is white.[(triple2)] Fiona is nice.[(triple3)] Fiona is white.[(triple4)] Harry is blue.[(triple5)] Harry is kind.[(triple6)] Harry is not nice.[(triple7)] Harry is not smart.[(triple10)] Harry is quiet.[(triple8 OR ((triple5 triple9) -> rule2))] Harry is red.[(triple9)]