Dave is big. Dave is furry. Dave is green. Dave is kind. Dave is nice. Dave is not red. Dave is not young. Fiona is big. Fiona is furry. Fiona is green. Fiona is kind. Fiona is nice. If someone is young and not big then they are not green. Furry people are not red. If Fiona is nice then Fiona is kind.
Fiona is big.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is nice.[(triple5)] Dave is not red.[(triple6 OR ((triple2) -> rule2))] Dave is not young.[(triple7)] Fiona is big.[(triple8)] Fiona is furry.[(triple9)] Fiona is green.[(triple10)] Fiona is kind.[(triple11 OR ((triple12) -> rule3))] Fiona is nice.[(triple12)] @1: Fiona is not red.[(((triple9) -> rule2))]