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