Charlie is cold. Charlie is quiet. Charlie is white. Fiona is blue. Fiona is cold. Fiona is smart. Fiona is white. Gary is not smart. Gary is white. Harry is big. Harry is not cold. Harry is green. If something is cold and blue then it is not quiet. All cold things are green. If Charlie is cold and Charlie is not quiet then Charlie is not white.
Fiona is smart.
@0: Charlie is cold.[(triple1)] Charlie is quiet.[(triple2)] Charlie is white.[(triple3)] Fiona is blue.[(triple4)] Fiona is cold.[(triple5)] Fiona is smart.[(triple6)] Fiona is white.[(triple7)] Gary is not smart.[(triple8)] Gary is white.[(triple9)] Harry is big.[(triple10)] Harry is green.[(triple12)] Harry is not cold.[(triple11)] @1: Charlie is green.[(((triple1) -> rule2))] Fiona is green.[(((triple5) -> rule2))] Fiona is not quiet.[(((triple5 triple4) -> rule1))]