Charlie is blue. Charlie is cold. Charlie is nice. Charlie is not rough. Charlie is smart. Erin is big. Erin is blue. Erin is cold. Erin is not furry. Erin is nice. Erin is rough. Erin is smart. Rough, smart people are cold. All big, cold people are blue.
Charlie is not big.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2)] Charlie is nice.[(triple3)] Charlie is not rough.[(triple4)] Charlie is smart.[(triple5)] Erin is big.[(triple6)] Erin is blue.[(triple7 OR ((triple6 triple8) -> rule2) OR ((triple6 ((triple11 triple12) -> rule1)) -> rule2))] Erin is cold.[(triple8 OR ((triple11 triple12) -> rule1))] Erin is nice.[(triple10)] Erin is not furry.[(triple9)] Erin is rough.[(triple11)] Erin is smart.[(triple12)]