Bob is big. Charlie is green. Dave is smart. Erin is cold. If someone is cold then they are big. If someone is quiet then they are big. Smart, furry people are big.
Charlie is furry.
@0: Bob is big.[(triple1)] Charlie is green.[(triple2)] Dave is smart.[(triple3)] Erin is cold.[(triple4)] @1: Erin is big.[(((triple4) -> rule1))]