Dave is kind. Dave is quiet. Dave is not rough. Dave is young. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is not young. If someone is young and not rough then they are furry. If someone is young and kind then they are quiet.
Fiona is not furry.
@0: Dave is kind.[(triple1)] Dave is not rough.[(triple3)] Dave is quiet.[(triple2 OR ((triple4 triple1) -> rule2))] Dave is young.[(triple4)] Fiona is kind.[(triple5)] Fiona is nice.[(triple6)] Fiona is not young.[(triple10)] Fiona is quiet.[(triple7)] Fiona is red.[(triple8)] Fiona is rough.[(triple9)] @1: Dave is furry.[(((triple4 triple3) -> rule1))]