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