Charlie is big. Charlie is quiet. Dave is cold. Dave is smart. Erin is big. Erin is quiet. Erin is white. Gary is big. Gary is cold. Gary is smart. Gary is white. Gary is young. All young things are big. If Gary is white then Gary is smart.
Dave is not big.
@0: Charlie is big.[(triple1)] Charlie is quiet.[(triple2)] Dave is cold.[(triple3)] Dave is smart.[(triple4)] Erin is big.[(triple5)] Erin is quiet.[(triple6)] Erin is white.[(triple7)] Gary is big.[(triple8 OR ((triple12) -> rule1))] Gary is cold.[(triple9)] Gary is smart.[(triple10 OR ((triple11) -> rule2))] Gary is white.[(triple11)] Gary is young.[(triple12)]