Dave is blue. Dave is cold. Dave is green. Dave is kind. Dave is nice. Dave is red. Dave is round. Fiona is blue. Fiona is cold. Fiona is green. Fiona is kind. Fiona is nice. Fiona is red. Fiona is round. If Dave is nice then Dave is blue. If Dave is red then Dave is blue.
Fiona is not round.
@0: Dave is blue.[(triple1 OR ((triple5) -> rule1) OR ((triple6) -> rule2))] Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is nice.[(triple5)] Dave is red.[(triple6)] Dave is round.[(triple7)] Fiona is blue.[(triple8)] Fiona is cold.[(triple9)] Fiona is green.[(triple10)] Fiona is kind.[(triple11)] Fiona is nice.[(triple12)] Fiona is red.[(triple13)] Fiona is round.[(triple14)]