Dave is big. Dave is cold. Dave is green. Dave is red. Dave is round. Dave is white. Dave is young. Fiona is big. Fiona is cold. Fiona is green. Fiona is red. Fiona is round. Fiona is white. Fiona is young. All young, cold people are green. Young, green people are white. If Dave is round then Dave is white.
Fiona is red.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is green.[(triple3 OR ((triple7 triple2) -> rule1))] Dave is red.[(triple4)] Dave is round.[(triple5)] Dave is white.[(triple6 OR ((triple5) -> rule3) OR ((triple7 triple3) -> rule2) OR ((triple7 ((triple7 triple2) -> rule1)) -> rule2))] Dave is young.[(triple7)] Fiona is big.[(triple8)] Fiona is cold.[(triple9)] Fiona is green.[(triple10 OR ((triple14 triple9) -> rule1))] Fiona is red.[(triple11)] Fiona is round.[(triple12)] Fiona is white.[(triple13 OR ((triple14 triple10) -> rule2) OR ((triple14 ((triple14 triple9) -> rule1)) -> rule2))] Fiona is young.[(triple14)]