Bob is red. Charlie is rough. Dave is rough. Erin is red. All red, furry people are cold. All blue people are cold. If someone is furry and not red then they are not blue. If someone is rough then they are blue. If someone is rough and not blue then they are kind. Cold people are kind.
Charlie is kind.
@0: Bob is red.[(triple1)] Charlie is rough.[(triple2)] Dave is rough.[(triple3)] Erin is red.[(triple4)] @1: Charlie is blue.[(((triple2) -> rule4))] Dave is blue.[(((triple3) -> rule4))] @2: Charlie is cold.[(((((triple2) -> rule4)) -> rule2))] Dave is cold.[(((((triple3) -> rule4)) -> rule2))] @3: Charlie is kind.[(((((((triple2) -> rule4)) -> rule2)) -> rule6))] Dave is kind.[(((((((triple3) -> rule4)) -> rule2)) -> rule6))]