Bob is kind. Bob is round. Charlie is cold. Charlie is round. Dave is kind. Gary is kind. Gary is not nice. Round things are quiet.
Gary is not quiet.
@0: Bob is kind.[(triple1)] Bob is round.[(triple2)] Charlie is cold.[(triple3)] Charlie is round.[(triple4)] Dave is kind.[(triple5)] Gary is kind.[(triple6)] Gary is not nice.[(triple7)] @1: Bob is quiet.[(((triple2) -> rule1))] Charlie is quiet.[(((triple4) -> rule1))]