Dave is white. Dave is young. Erin is green. Erin is kind. Erin is red. Fiona is cold. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is white. Fiona is young. If Fiona is kind and Fiona is quiet then Fiona is red.
Dave is cold.
@0: Dave is white.[(triple1)] Dave is young.[(triple2)] Erin is green.[(triple3)] Erin is kind.[(triple4)] Erin is red.[(triple5)] Fiona is cold.[(triple6)] Fiona is green.[(triple7)] Fiona is kind.[(triple8)] Fiona is quiet.[(triple9)] Fiona is red.[(triple10 OR ((triple8 triple9) -> rule1))] Fiona is white.[(triple11)] Fiona is young.[(triple12)]