Dave is big. Dave is kind. Dave is quiet. Dave is round. Fiona is young. Harry is big. Harry is furry. Harry is kind. Harry is smart. Harry is young. If Harry is round and Harry is furry then Harry is young. All kind, quiet people are furry.
Fiona is smart.
@0: Dave is big.[(triple1)] Dave is kind.[(triple2)] Dave is quiet.[(triple3)] Dave is round.[(triple4)] Fiona is young.[(triple5)] Harry is big.[(triple6)] Harry is furry.[(triple7)] Harry is kind.[(triple8)] Harry is smart.[(triple9)] Harry is young.[(triple10)] @1: Dave is furry.[(((triple2 triple3) -> rule2))]