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