Charlie is blue. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is smart. Dave is kind. Dave is rough. Fiona is not cold. Fiona is red. All quiet things are blue. If something is kind and not red then it is not smart. All kind things are smart.
Fiona is not blue.
@0: Charlie is blue.[(triple1 OR ((triple4) -> rule1))] Charlie is cold.[(triple2)] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6 OR ((triple3) -> rule3))] Dave is kind.[(triple7)] Dave is rough.[(triple8)] Fiona is not cold.[(triple9)] Fiona is red.[(triple10)] @1: Dave is smart.[(((triple7) -> rule3))]