Bob is big. Erin is blue. Fiona is young. Young people are cold. All big people are nice. Young, furry people are big.
Bob is big.
@0: Bob is big.[(triple1)] Erin is blue.[(triple2)] Fiona is young.[(triple3)] @1: Bob is nice.[(((triple1) -> rule2))] Fiona is cold.[(((triple3) -> rule1))]