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