Bob is furry. Bob is round. Bob is white. Harry is furry. Harry is kind. Harry is round. Harry is white. If Harry is rough then Harry is big. All round people are nice.
Bob is rough.
@0: Bob is furry.[(triple1)] Bob is round.[(triple2)] Bob is white.[(triple3)] Harry is furry.[(triple4)] Harry is kind.[(triple5)] Harry is round.[(triple6)] Harry is white.[(triple7)] @1: Bob is nice.[(((triple2) -> rule2))] Harry is nice.[(((triple6) -> rule2))]