Bob is furry. Bob is nice. Bob is smart. Nice, furry people are cold. Green people are smart. Green people are red. Big, smart people are cold. All red, furry people are green. If someone is green then they are cold.
Bob is not cold.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2)] Bob is smart.[(triple3)] @1: Bob is cold.[(((triple2 triple1) -> rule1))]