Charlie is nice. Dave is smart. Dave is young. Fiona is blue. Fiona is kind. Fiona is smart. Fiona is young. If something is white and nice then it is smart. Kind, nice things are young. If something is kind then it is blue.
Charlie is not smart.
@0: Charlie is nice.[(triple1)] Dave is smart.[(triple2)] Dave is young.[(triple3)] Fiona is blue.[(triple4 OR ((triple5) -> rule3))] Fiona is kind.[(triple5)] Fiona is smart.[(triple6)] Fiona is young.[(triple7)]