Bob is kind. Dave is round. Fiona is cold. All round, cold people are kind. All kind people are not round. Round, kind people are nice.
Fiona is not cold.
@0: Bob is kind.[(triple1)] Dave is round.[(triple2)] Fiona is cold.[(triple3)] @1: Bob is not round.[(((triple1) -> rule2))]