Erin is furry. Erin is rough. Erin is young. All green people are furry. If someone is round then they are furry. Rough, furry people are blue. Big people are furry. If someone is big and young then they are green. If someone is round and big then they are rough.
Erin is not furry.
@0: Erin is furry.[(triple1)] Erin is rough.[(triple2)] Erin is young.[(triple3)] @1: Erin is blue.[(((triple2 triple1) -> rule3))]