Fiona is blue. Fiona is cold. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is smart. Fiona is not white. Harry is blue. Harry is cold. Harry is not quiet. Harry is rough. Harry is round. Harry is smart. Harry is white. If someone is round and not white then they are quiet. White people are cold.
Harry is cold.
@0: Fiona is blue.[(triple1)] Fiona is cold.[(triple2)] Fiona is not white.[(triple7)] Fiona is quiet.[(triple3 OR ((triple5 triple7) -> rule1))] Fiona is rough.[(triple4)] Fiona is round.[(triple5)] Fiona is smart.[(triple6)] Harry is blue.[(triple8)] Harry is cold.[(triple9 OR ((triple14) -> rule2))] Harry is not quiet.[(triple10)] Harry is rough.[(triple11)] Harry is round.[(triple12)] Harry is smart.[(triple13)] Harry is white.[(triple14)]