Dave is big. Dave is cold. Dave is green. Dave is nice. Dave is rough. Dave is not white. Dave is young. Fiona is big. Fiona is cold. Fiona is green. Fiona is rough. Fiona is young. If someone is rough and not young then they are white. If Dave is young and Dave is nice then Dave is cold. If Fiona is big then Fiona is cold. If someone is nice and not white then they are cold. Young people are cold. White people are green. If someone is young and nice then they are green. If someone is big and not cold then they are green.
Fiona is not white.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2 OR ((triple7) -> rule5) OR ((triple4 triple6) -> rule4) OR ((triple7 triple4) -> rule2))] Dave is green.[(triple3 OR ((triple7 triple4) -> rule7))] Dave is nice.[(triple4)] Dave is not white.[(triple6)] Dave is rough.[(triple5)] Dave is young.[(triple7)] Fiona is big.[(triple8)] Fiona is cold.[(triple9 OR ((triple12) -> rule5) OR ((triple8) -> rule3))] Fiona is green.[(triple10)] Fiona is rough.[(triple11)] Fiona is young.[(triple12)]