Fiona is big. Fiona is blue. Fiona is nice. Fiona is quiet. Fiona is not round. Fiona is not smart. Fiona is not white. Harry is big. Harry is blue. Harry is nice. Harry is quiet. Harry is round. Harry is not smart. Harry is not white. All smart, quiet people are not nice. All round people are nice. White people are blue.
Harry is not nice.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is nice.[(triple3)] Fiona is not round.[(triple5)] Fiona is not smart.[(triple6)] Fiona is not white.[(triple7)] Fiona is quiet.[(triple4)] Harry is big.[(triple8)] Harry is blue.[(triple9)] Harry is nice.[(triple10 OR ((triple12) -> rule2))] Harry is not smart.[(triple13)] Harry is not white.[(triple14)] Harry is quiet.[(triple11)] Harry is round.[(triple12)]