Charlie is furry. Charlie is rough. Charlie is round. Charlie is smart. Charlie is white. Gary is green. Gary is smart. If Charlie is rough and Charlie is smart then Charlie is furry. If Charlie is furry and Charlie is cold then Charlie is smart.
Charlie is rough.
@0: Charlie is furry.[(triple1 OR ((triple2 triple4) -> rule1))] Charlie is rough.[(triple2)] Charlie is round.[(triple3)] Charlie is smart.[(triple4)] Charlie is white.[(triple5)] Gary is green.[(triple6)] Gary is smart.[(triple7)]