Charlie is smart. Erin is rough. Gary is white. Harry is white. If someone is rough and white then they are furry. If someone is green then they are white. All smart people are rough. If Erin is smart then Erin is big. Rough people are furry. All smart people are cold. All green, smart people are white. All big people are rough.
Harry is not white.
@0: Charlie is smart.[(triple1)] Erin is rough.[(triple2)] Gary is white.[(triple3)] Harry is white.[(triple4)] @1: Charlie is cold.[(((triple1) -> rule6))] Charlie is rough.[(((triple1) -> rule3))] Erin is furry.[(((triple2) -> rule5))] @2: Charlie is furry.[(((((triple1) -> rule3)) -> rule5))]