Erin is cold. Erin is furry. Erin is green. Erin is kind. Erin is nice. Erin is red. Erin is young. Gary is cold. Gary is furry. Gary is green. Gary is kind. Gary is nice. All young things are kind.
Erin is not red.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is green.[(triple3)] Erin is kind.[(triple4 OR ((triple7) -> rule1))] Erin is nice.[(triple5)] Erin is red.[(triple6)] Erin is young.[(triple7)] Gary is cold.[(triple8)] Gary is furry.[(triple9)] Gary is green.[(triple10)] Gary is kind.[(triple11)] Gary is nice.[(triple12)]