Dave is furry. Dave is green. Dave is quiet. Dave is round. Dave is smart. Fiona is blue. Fiona is furry. Furry, kind people are round. Round, kind people are furry. If Dave is furry then Dave is blue.
Fiona is quiet.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2)] Dave is quiet.[(triple3)] Dave is round.[(triple4)] Dave is smart.[(triple5)] Fiona is blue.[(triple6)] Fiona is furry.[(triple7)] @1: Dave is blue.[(((triple1) -> rule3))]