Charlie is big. Charlie is nice. Charlie is white. Charlie is young. Erin is cold. Erin is smart. Erin is white. Gary is big. Gary is cold. Gary is nice. Gary is rough. Gary is smart. Gary is white. Harry is cold. Harry is nice. Harry is white. Big people are cold. All cold people are smart.
Erin is not young.
@0: Charlie is big.[(triple1)] Charlie is nice.[(triple2)] Charlie is white.[(triple3)] Charlie is young.[(triple4)] Erin is cold.[(triple5)] Erin is smart.[(triple6 OR ((triple5) -> rule2))] Erin is white.[(triple7)] Gary is big.[(triple8)] Gary is cold.[(triple9 OR ((triple8) -> rule1))] Gary is nice.[(triple10)] Gary is rough.[(triple11)] Gary is smart.[(triple12 OR ((triple9) -> rule2) OR ((((triple8) -> rule1)) -> rule2))] Gary is white.[(triple13)] Harry is cold.[(triple14)] Harry is nice.[(triple15)] Harry is white.[(triple16)] @1: Charlie is cold.[(((triple1) -> rule1))] Harry is smart.[(((triple14) -> rule2))] @2: Charlie is smart.[(((((triple1) -> rule1)) -> rule2))]