Charlie is smart. Dave is cold. Dave is green. Dave is red. Dave is smart. Dave is not white. Dave is young. Fiona is red. Fiona is not smart. Fiona is young. All red things are young. Smart things are green. If Charlie is nice and Charlie is smart then Charlie is young. If Charlie is white then Charlie is not young. If something is smart and not nice then it is red. If Dave is smart and Dave is white then Dave is young.
Charlie is not smart.
@0: Charlie is smart.[(triple1)] Dave is cold.[(triple2)] Dave is green.[(triple3 OR ((triple5) -> rule2))] Dave is not white.[(triple6)] Dave is red.[(triple4)] Dave is smart.[(triple5)] Dave is young.[(triple7 OR ((triple4) -> rule1))] Fiona is not smart.[(triple9)] Fiona is red.[(triple8)] Fiona is young.[(triple10 OR ((triple8) -> rule1))] @1: Charlie is green.[(((triple1) -> rule2))]