Anne is quiet. Charlie is quiet. Charlie is round. Charlie is young. Gary is big. Gary is cold. Gary is furry. Gary is quiet. Gary is round. Gary is young. If something is furry and quiet then it is young. If Charlie is furry and Charlie is big then Charlie is quiet.
Charlie is cold.
@0: Anne is quiet.[(triple1)] Charlie is quiet.[(triple2)] Charlie is round.[(triple3)] Charlie is young.[(triple4)] Gary is big.[(triple5)] Gary is cold.[(triple6)] Gary is furry.[(triple7)] Gary is quiet.[(triple8)] Gary is round.[(triple9)] Gary is young.[(triple10 OR ((triple7 triple8) -> rule1))]