Charlie is blue. Charlie is cold. Charlie is nice. Charlie is quiet. Dave is cold. Dave is round. Fiona is blue. Fiona is cold. Fiona is quiet. Fiona is round. Fiona is white. Harry is round. If Charlie is round then Charlie is big. Round people are cold.
Charlie is not big.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Dave is cold.[(triple5 OR ((triple6) -> rule2))] Dave is round.[(triple6)] Fiona is blue.[(triple7)] Fiona is cold.[(triple8 OR ((triple10) -> rule2))] Fiona is quiet.[(triple9)] Fiona is round.[(triple10)] Fiona is white.[(triple11)] Harry is round.[(triple12)] @1: Harry is cold.[(((triple12) -> rule2))]