Charlie is furry. Charlie is not nice. Charlie is quiet. Charlie is white. Dave is blue. Dave is not nice. Dave is not white. Fiona is blue. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is white. If something is white then it is quiet.
Dave is not nice.
@0: Charlie is furry.[(triple1)] Charlie is not nice.[(triple2)] Charlie is quiet.[(triple3 OR ((triple4) -> rule1))] Charlie is white.[(triple4)] Dave is blue.[(triple5)] Dave is not nice.[(triple6)] Dave is not white.[(triple7)] Fiona is blue.[(triple8)] Fiona is kind.[(triple9)] Fiona is nice.[(triple10)] Fiona is quiet.[(triple11 OR ((triple12) -> rule1))] Fiona is white.[(triple12)]