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