Erin is big. Erin is red. Erin is young. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is rough. Gary is not blue. Gary is furry. Gary is nice. Red, furry people are young. If someone is nice then they are not young. Young, blue people are not furry.
Gary is young.
@0: Erin is big.[(triple1)] Erin is red.[(triple2)] Erin is young.[(triple3)] Fiona is blue.[(triple4)] Fiona is furry.[(triple5)] Fiona is nice.[(triple6)] Fiona is rough.[(triple7)] Gary is furry.[(triple9)] Gary is nice.[(triple10)] Gary is not blue.[(triple8)] @1: Fiona is not young.[(((triple6) -> rule2))] Gary is not young.[(((triple10) -> rule2))]