Erin is green. Erin is nice. Erin is red. If someone is green and red then they are nice. All white, nice people are furry. All cold people are nice. Green, furry people are white. All red people are cold. All cold, furry people are nice.
Erin is big.
@0: Erin is green.[(triple1)] Erin is nice.[(triple2 OR ((triple1 triple3) -> rule1) OR ((((triple3) -> rule5)) -> rule3))] Erin is red.[(triple3)] @1: Erin is cold.[(((triple3) -> rule5))]