Charlie is kind. Charlie is smart. Charlie is young. Dave is blue. Fiona is smart. Harry is not kind. Harry is not smart. If something is blue and cold then it is not big. All cold things are not big. Young things are cold. If something is kind then it is cold. If something is big and not blue then it is cold. Blue, cold things are not kind. Blue, cold things are kind. If Dave is not blue then Dave is smart.
Fiona is not kind.
@0: Charlie is kind.[(triple1)] Charlie is smart.[(triple2)] Charlie is young.[(triple3)] Dave is blue.[(triple4)] Fiona is smart.[(triple5)] Harry is not kind.[(triple6)] Harry is not smart.[(triple7)] @1: Charlie is cold.[(((triple1) -> rule4) OR ((triple3) -> rule3))] @2: Charlie is not big.[(((((triple1) -> rule4)) -> rule2) OR ((((triple3) -> rule3)) -> rule2))]