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