Bob is not blue. Charlie is kind. Dave is round. Harry is kind. All kind people are round. White, quiet people are not round. White people are not rough. Kind people are not quiet. If someone is blue then they are not quiet. White people are cold.
Dave is kind.
@0: Bob is not blue.[(triple1)] Charlie is kind.[(triple2)] Dave is round.[(triple3)] Harry is kind.[(triple4)] @1: Charlie is not quiet.[(((triple2) -> rule4))] Charlie is round.[(((triple2) -> rule1))] Harry is not quiet.[(((triple4) -> rule4))] Harry is round.[(((triple4) -> rule1))]