Bob is quiet. Dave is kind. Dave is nice. Erin is kind. Erin is round. Harry is big. Harry is round. If someone is rough and green then they are quiet. Quiet people are nice. If Dave is big and Dave is kind then Dave is rough.
Bob is round.
@0: Bob is quiet.[(triple1)] Dave is kind.[(triple2)] Dave is nice.[(triple3)] Erin is kind.[(triple4)] Erin is round.[(triple5)] Harry is big.[(triple6)] Harry is round.[(triple7)] @1: Bob is nice.[(((triple1) -> rule2))]