Dave is not big. Dave is kind. Dave is nice. Dave is red. Dave is not round. Dave is white. Dave is young. Fiona is kind. Fiona is round. Fiona is young. All red people are nice. If someone is round and not white then they are nice.
Fiona is not nice.
@0: Dave is kind.[(triple2)] Dave is nice.[(triple3 OR ((triple4) -> rule1))] Dave is not big.[(triple1)] Dave is not round.[(triple5)] Dave is red.[(triple4)] Dave is white.[(triple6)] Dave is young.[(triple7)] Fiona is kind.[(triple8)] Fiona is round.[(triple9)] Fiona is young.[(triple10)]