Dave is not blue. Dave is cold. Dave is not green. Dave is nice. Dave is quiet. Dave is round. Dave is young. Fiona is blue. Fiona is cold. Fiona is green. Fiona is not nice. Fiona is quiet. Fiona is round. Fiona is young. If something is nice and not blue then it is cold. If something is blue and not quiet then it is cold. Young things are cold.
Dave is young.
@0: Dave is cold.[(triple2 OR ((triple7) -> rule3) OR ((triple4 triple1) -> rule1))] Dave is nice.[(triple4)] Dave is not blue.[(triple1)] Dave is not green.[(triple3)] Dave is quiet.[(triple5)] Dave is round.[(triple6)] Dave is young.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9 OR ((triple14) -> rule3))] Fiona is green.[(triple10)] Fiona is not nice.[(triple11)] Fiona is quiet.[(triple12)] Fiona is round.[(triple13)] Fiona is young.[(triple14)]