Erin is big. Erin is blue. Erin is furry. Erin is green. Erin is nice. Erin is quiet. Erin is round. Gary is big. Gary is blue. Gary is nice. Blue things are green. Nice things are quiet. Blue, furry things are nice.
Gary is not furry.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is furry.[(triple3)] Erin is green.[(triple4 OR ((triple2) -> rule1))] Erin is nice.[(triple5 OR ((triple2 triple3) -> rule3))] Erin is quiet.[(triple6 OR ((triple5) -> rule2) OR ((((triple2 triple3) -> rule3)) -> rule2))] Erin is round.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is nice.[(triple10)] @1: Gary is green.[(((triple9) -> rule1))] Gary is quiet.[(((triple10) -> rule2))]