Anne is cold. Bob is cold. Bob is furry. Bob is kind. Bob is white. Fiona is furry. Fiona is kind. If someone is blue and kind then they are red. White, furry people are young.
Bob is cold.
@0: Anne is cold.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is kind.[(triple4)] Bob is white.[(triple5)] Fiona is furry.[(triple6)] Fiona is kind.[(triple7)] @1: Bob is young.[(((triple5 triple3) -> rule2))]