Bob is smart. Bob is white. Dave is not cold. Erin is kind. Fiona is cold. Fiona is not green. Fiona is not white. If someone is red then they are kind. If someone is red and not furry then they are not green. All white people are red.
Bob is kind.
@0: Bob is smart.[(triple1)] Bob is white.[(triple2)] Dave is not cold.[(triple3)] Erin is kind.[(triple4)] Fiona is cold.[(triple5)] Fiona is not green.[(triple6)] Fiona is not white.[(triple7)] @1: Bob is red.[(((triple2) -> rule3))] @2: Bob is kind.[(((((triple2) -> rule3)) -> rule1))]