Charlie is cold. Charlie is green. Charlie is nice. Charlie is quiet. Dave is big. Dave is green. Dave is nice. Dave is quiet. Fiona is cold. Fiona is green. Fiona is nice. Fiona is white. Harry is big. Harry is green. Harry is nice. Harry is smart. All white things are quiet. If something is quiet then it is smart. If Dave is nice then Dave is smart.
Harry is not cold.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Dave is big.[(triple5)] Dave is green.[(triple6)] Dave is nice.[(triple7)] Dave is quiet.[(triple8)] Fiona is cold.[(triple9)] Fiona is green.[(triple10)] Fiona is nice.[(triple11)] Fiona is white.[(triple12)] Harry is big.[(triple13)] Harry is green.[(triple14)] Harry is nice.[(triple15)] Harry is smart.[(triple16)] @1: Charlie is smart.[(((triple4) -> rule2))] Dave is smart.[(((triple7) -> rule3) OR ((triple8) -> rule2))] Fiona is quiet.[(((triple12) -> rule1))] @2: Fiona is smart.[(((((triple12) -> rule1)) -> rule2))]