Bob is big. Bob is furry. Dave is cold. Dave is furry. Dave is kind. Dave is round. Fiona is kind. If Dave is quiet then Dave is round. If someone is furry and round then they are big. Quiet people are not big.
Fiona is furry.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Dave is cold.[(triple3)] Dave is furry.[(triple4)] Dave is kind.[(triple5)] Dave is round.[(triple6)] Fiona is kind.[(triple7)] @1: Dave is big.[(((triple4 triple6) -> rule2))]