Bob is furry. Erin is red. Fiona is rough. Harry is cold. If someone is furry then they are cold. If Bob is red and Bob is nice then Bob is cold. White, furry people are nice. If Fiona is cold and Fiona is furry then Fiona is red. White, nice people are red. If someone is nice then they are furry.
Bob is furry.
@0: Bob is furry.[(triple1)] Erin is red.[(triple2)] Fiona is rough.[(triple3)] Harry is cold.[(triple4)] @1: Bob is cold.[(((triple1) -> rule1))]