Erin is furry. Erin is green. Erin is nice. Erin is red. Erin is smart. Erin is white. Erin is young. Gary is green. Gary is nice. Gary is red. Gary is smart. Gary is young. If Gary is young and Gary is smart then Gary is white.
Erin is not red.
@0: Erin is furry.[(triple1)] Erin is green.[(triple2)] Erin is nice.[(triple3)] Erin is red.[(triple4)] Erin is smart.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)] Gary is green.[(triple8)] Gary is nice.[(triple9)] Gary is red.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12)] @1: Gary is white.[(((triple12 triple11) -> rule1))]