Charlie is cold. Charlie is kind. Fiona is big. Fiona is green. Fiona is kind. Fiona is quiet. Harry is big. Harry is cold. Harry is green. Harry is kind. Harry is red. Harry is white. Quiet things are kind.
Harry is not cold.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Fiona is big.[(triple3)] Fiona is green.[(triple4)] Fiona is kind.[(triple5 OR ((triple6) -> rule1))] Fiona is quiet.[(triple6)] Harry is big.[(triple7)] Harry is cold.[(triple8)] Harry is green.[(triple9)] Harry is kind.[(triple10)] Harry is red.[(triple11)] Harry is white.[(triple12)]