Dave is furry. Dave is smart. Fiona is big. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. If someone is furry then they are quiet.
Dave is not nice.
@0: Dave is furry.[(triple1)] Dave is smart.[(triple2)] Fiona is big.[(triple3)] Fiona is furry.[(triple4)] Fiona is kind.[(triple5)] Fiona is nice.[(triple6)] Fiona is quiet.[(triple7 OR ((triple4) -> rule1))] @1: Dave is quiet.[(((triple1) -> rule1))]