Erin is big. Erin is not cold. Erin is kind. Erin is white. Erin is young. Gary is big. Gary is blue. Gary is cold. Gary is kind. Gary is quiet. Gary is white. Gary is young. If Erin is blue and Erin is cold then Erin is young. If Gary is white and Gary is blue then Gary is kind.
Gary is not cold.
@0: Erin is big.[(triple1)] Erin is kind.[(triple3)] Erin is not cold.[(triple2)] Erin is white.[(triple4)] Erin is young.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7)] Gary is cold.[(triple8)] Gary is kind.[(triple9 OR ((triple11 triple7) -> rule2))] Gary is quiet.[(triple10)] Gary is white.[(triple11)] Gary is young.[(triple12)]