Bob is furry. Dave is blue. Dave is furry. Dave is rough. Dave is round. Dave is smart. Dave is young. If someone is round and furry then they are cold.
Bob is furry.
@0: Bob is furry.[(triple1)] Dave is blue.[(triple2)] Dave is furry.[(triple3)] Dave is rough.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6)] Dave is young.[(triple7)] @1: Dave is cold.[(((triple5 triple3) -> rule1))]