Charlie is furry. Charlie is smart. Charlie is young. Gary is big. Gary is furry. Gary is kind. Gary is rough. Gary is round. Gary is smart. Gary is young. If someone is big then they are rough. If Charlie is big then Charlie is furry. If someone is big and smart then they are round.
Gary is furry.
@0: Charlie is furry.[(triple1)] Charlie is smart.[(triple2)] Charlie is young.[(triple3)] Gary is big.[(triple4)] Gary is furry.[(triple5)] Gary is kind.[(triple6)] Gary is rough.[(triple7 OR ((triple4) -> rule1))] Gary is round.[(triple8 OR ((triple4 triple9) -> rule3))] Gary is smart.[(triple9)] Gary is young.[(triple10)]